Denis Merigoux
|
29f12aa3cb
|
Building a JS version of the Catala compiler
|
2021-11-12 10:07:13 +01:00 |
|
Denis Merigoux
|
bbd50747d9
|
Big renaming and dir reorg
|
2021-06-21 11:39:06 +02:00 |
|
Bartosz Woźniak
|
21584e6444
|
polish syntax pygments
|
2021-05-10 19:05:18 +02:00 |
|
Bartosz Woźniak
|
c9876cd077
|
cleanup
|
2021-05-09 23:26:24 +02:00 |
|
Bartosz Woźniak
|
db46b1c444
|
lexer
|
2021-05-09 23:01:38 +02:00 |
|
Denis Merigoux
|
64661f06c6
|
Fixed Js and bumped version number
|
2021-03-18 16:41:55 +01:00 |
|
Denis Merigoux
|
f2c4303f53
|
Update website assets make rules
|
2021-02-04 11:17:45 +01:00 |
|
Denis Merigoux
|
2730f76201
|
Fix assets scripts
|
2021-02-02 22:54:35 +01:00 |
|
Denis Merigoux
|
1b6843c6dd
|
Web update
|
2021-01-10 20:47:01 +01:00 |
|
Denis Merigoux
|
92c0c58c9b
|
Cleaned script
|
2020-12-26 18:54:28 +01:00 |
|
Denis Merigoux
|
f966fc87d0
|
Added web-compatible version of the Catala interpreter
|
2020-12-26 17:37:45 +01:00 |
|
Denis Merigoux
|
c51c8760cb
|
New assets for playground
|
2020-12-25 17:09:44 +01:00 |
|
Denis Merigoux
|
ae0cb80a25
|
Various fixes for French tutorial
|
2020-12-24 16:09:40 +01:00 |
|
Denis Merigoux
|
3e12e85b61
|
Copy JS version of executable to website
|
2020-12-24 11:41:29 +01:00 |
|
Denis Merigoux
|
fc238aafb7
|
Use rsync for correct results
|
2020-05-25 19:13:09 +02:00 |
|
Denis Merigoux
|
7018e2ab1d
|
Transformed dummy example into real english example
|
2020-05-25 19:07:55 +02:00 |
|
Denis Merigoux
|
962109be36
|
Added doc generation to website assets
|
2020-05-23 17:39:16 +02:00 |
|
Denis Merigoux
|
e071fbd40f
|
Copy the right file
|
2020-05-17 19:13:50 +02:00 |
|
Denis Merigoux
|
1ade06a8f9
|
Added beginning of tutorial
|
2020-05-17 18:53:54 +02:00 |
|
Denis Merigoux
|
6eb681c5f1
|
Modified Makefile
|
2020-05-13 13:53:24 +02:00 |
|
Denis Merigoux
|
dd267a8c2a
|
Added english asset
|
2020-05-12 19:02:55 +02:00 |
|
Denis Merigoux
|
39ee3a260e
|
Scp to send to server
|
2020-05-06 15:35:43 +02:00 |
|
Denis Merigoux
|
5a4458041f
|
Properly generate HTML assets
|
2020-05-05 17:05:39 +02:00 |
|