Commit Graph

984 Commits

Author SHA1 Message Date
EmileRolley
c1ea39eb1b feat(lexer): add the support of grave accent outside code blocks 2021-05-24 15:54:27 +02:00
EmileRolley
2f1010d609 refactor(lexer): add the constant digit for sedlex regexps 2021-05-24 15:54:27 +02:00
EmileRolley
4e6e532ce8 feat(lexer): allows to use '`' inside law text 2021-05-24 15:54:27 +02:00
Denis Merigoux
54067f337f
Merge pull request #123 from svenski/patch-1
Fix typo
2021-05-23 11:53:40 +02:00
Sergiusz Bleja
48f16a67c7
Fix typo
- delete the extra p
2021-05-22 21:55:41 +01:00
Denis Merigoux
faedeaf3ce
Pull proof robustness modifications from ICFP21 artefact 2021-05-20 11:21:29 +02:00
Denis Merigoux
a6ba0290ed
Merge pull request #117 from wozniakpl/polish
Polish language support
2021-05-19 16:52:16 +02:00
Bartosz Woźniak
7d05d76825 cleanup 2021-05-17 18:14:00 +02:00
Denis Merigoux
2b86afc471
Good module name 2021-05-17 17:46:40 +02:00
Denis Merigoux
36093c885b
Added context variable declaration 2021-05-17 10:49:05 +02:00
Bartosz Woźniak
44af0acdb3 visible diacritics done 2021-05-16 21:07:14 +02:00
Bartosz Woźniak
831f4c75ae diacritics ę 2021-05-16 20:38:38 +02:00
Bartosz Woźniak
b1ecf5abc9 begin diacritics 2021-05-16 20:35:39 +02:00
Bartosz Woźniak
68e2d5c541 change form of noun for consistency 2021-05-16 20:22:53 +02:00
Bartosz Woźniak
f50781cd67 mark vscode as todo 2021-05-16 20:14:35 +02:00
Bartosz Woźniak
2b5a54e315 atom stuff 2021-05-16 20:13:03 +02:00
Denis Merigoux
4d5c3191d7
Better HTML generation 2021-05-15 19:50:06 +02:00
Denis Merigoux
f14408375a
Update to new syntax 2021-05-15 16:28:14 +02:00
Denis Merigoux
d50710d533
Merge branch 'master' into wozniak_polish 2021-05-15 16:19:41 +02:00
Denis Merigoux
f9b88e2259
Fixed heading precedence in examples 2021-05-15 16:04:35 +02:00
Denis Merigoux
c138451146
Merge branch 'master' of github.com:CatalaLang/catala 2021-05-15 01:17:47 +02:00
Denis Merigoux
3c8d187be0
Big refactoring of the literate programming structure
Partially fixes #120
Removes the distinction between headers and articles, streamlines the surface AST
Changes affects lexers and parser
2021-05-15 01:16:08 +02:00
Denis Merigoux
147e35083e
Point directly to executable instead of dune exec 2021-05-14 18:44:06 +02:00
Bartosz Woźniak
fec6c2b145 fix typo, issue with 0.something% still exists 2021-05-13 22:25:17 +02:00
Bartosz Woźniak
7e31b230d0 add p. 9 but why is the test failing? 0.1% * 1000 == 1, not 10 2021-05-13 22:22:49 +02:00
Bartosz Woźniak
f5a070f5a3 add p.7 2021-05-13 22:16:48 +02:00
Bartosz Woźniak
6afdca09b8 rename var 2021-05-13 22:02:52 +02:00
Bartosz Woźniak
8f4b4a0462 extract intro 2021-05-13 14:08:23 +02:00
Bartosz Woźniak
95cd634bd8 add makefile targets 2021-05-13 14:01:34 +02:00
Denis Merigoux
6bdf4243bc
Correct lexing of Polish money amounts 2021-05-13 10:22:21 +02:00
Denis Merigoux
da363d8e75 Fixed Iro files 2021-05-13 10:12:00 +02:00
Bartosz Woźniak
702b2c0134 rephrasing 2021-05-12 20:56:07 +02:00
Bartosz Woźniak
cc2ec3d613 change currency 2021-05-12 19:50:47 +02:00
Bartosz Woźniak
f66fdf2a5c extend comment 2021-05-12 19:43:31 +02:00
Bartosz Woźniak
f70e3e4296 change 'zawartosc' which means 'content' to 'typu' which means 'of the type..' 2021-05-12 19:42:40 +02:00
Bartosz Woźniak
c4e39f159f change condition ('warunek' - boolean) from green to red in pdf 2021-05-12 19:40:19 +02:00
Bartosz Woźniak
03f6e412d9 add text's whole title - https://isap.sejm.gov.pl/isap.nsf/download.xsp/WDU20000860959/U/D20000959Lj.pdf 2021-05-12 18:56:14 +02:00
Bartosz Woźniak
219293baa7 ## headers, eng->pl fix 2021-05-12 18:54:09 +02:00
Denis Merigoux
8dddd3b449
Merge pull request #119 from CatalaLang/dependabot/npm_and_yarn/french_law_js/lodash-4.17.21
Bump lodash from 4.17.20 to 4.17.21 in /french_law_js
2021-05-12 11:03:13 +02:00
Denis Merigoux
4f9b0d63fd Fix PL pygmentz lexer and document formatting 2021-05-12 10:43:42 +02:00
dependabot[bot]
a786ebcb1d
Bump lodash from 4.17.20 to 4.17.21 in /french_law_js
Bumps [lodash](https://github.com/lodash/lodash) from 4.17.20 to 4.17.21.
- [Release notes](https://github.com/lodash/lodash/releases)
- [Commits](https://github.com/lodash/lodash/compare/4.17.20...4.17.21)

Signed-off-by: dependabot[bot] <support@github.com>
2021-05-12 00:07:18 +00:00
Bartosz Woźniak
d61926c51b cleanup 2021-05-11 20:37:35 +02:00
Bartosz Woźniak
f5234c6bdf convert metadata stuff 2021-05-11 20:35:35 +02:00
Bartosz Woźniak
962d5d2f82 compilation fixes 2021-05-11 20:26:17 +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
f2055d67ac tests 2021-05-09 23:15:19 +02:00
Bartosz Woźniak
e4bc4c3c8f swap english -> polish 2021-05-09 23:06:59 +02:00
Bartosz Woźniak
db46b1c444 lexer 2021-05-09 23:01:38 +02:00
Bartosz Woźniak
37c8f8da64 fixes for pdf, cleanup 2021-05-09 17:10:26 +02:00