Denis Merigoux
|
fed849201e
|
Added proper syntax highlighting + Utf8 support complete!
|
2020-03-09 19:14:06 +01:00 |
|
Denis Merigoux
|
b435e01d5b
|
Added missing dependencies
|
2020-03-09 12:07:36 +01:00 |
|
Denis Merigoux
|
0dafd2c9f5
|
Bump dune version and autoformat!
|
2020-03-09 12:01:56 +01:00 |
|
Denis Merigoux
|
6c0097e12e
|
Instructions
|
2020-03-08 06:54:35 +01:00 |
|
Denis Merigoux
|
c4ff3a18e9
|
Parsed entire thing
|
2020-03-08 06:49:29 +01:00 |
|
Denis Merigoux
|
f09fb793ef
|
Blocked at multiple consequences definitions for rules
|
2020-03-08 06:36:47 +01:00 |
|
Denis Merigoux
|
6595ccbcf4
|
More parsing
|
2020-03-08 06:06:32 +01:00 |
|
Denis Merigoux
|
ddc44d27fd
|
More parsing
|
2020-03-08 05:27:46 +01:00 |
|
Denis Merigoux
|
681b1f76ae
|
More parsing again
|
2020-03-08 05:12:12 +01:00 |
|
Denis Merigoux
|
1475c98ea4
|
More parsing
|
2020-03-08 05:01:26 +01:00 |
|
Denis Merigoux
|
e901408620
|
Beginning to parse
|
2020-03-08 04:28:45 +01:00 |
|
Denis Merigoux
|
71e5d89fac
|
Successfully weaved all text
|
2020-03-07 18:30:37 -08:00 |
|
Denis Merigoux
|
c6a9b0b8f9
|
Weaving to LaTeX
|
2020-03-07 18:20:04 -08:00 |
|
Denis Merigoux
|
56bc45db9d
|
Improved architecture
|
2020-03-07 16:52:31 -08:00 |
|
Denis Merigoux
|
12cee7627b
|
Parses multiple article headings
|
2020-03-07 15:31:47 -08:00 |
|
Denis Merigoux
|
833a4d4edf
|
Replace old code by dual lexer prototype
|
2020-03-07 15:21:55 -08:00 |
|
Denis Merigoux
|
661fda93f3
|
Better syntax highlightingx
|
2020-03-07 11:15:32 -08:00 |
|
Denis Merigoux
|
97adf28303
|
Brouillon document pour juristes
|
2020-03-06 21:58:20 -08:00 |
|
Raphaël Monat
|
230cbada36
|
Moving to Format.printf (instead of Printf and all string conversions)
|
2019-12-22 12:52:31 +01:00 |
|
Denis Merigoux
|
0ccae5d73b
|
Removed merlin files
|
2019-09-19 16:37:16 +02:00 |
|
Denis Merigoux
|
1bb6d7def5
|
More precision on installation
|
2019-09-04 11:02:49 +02:00 |
|
Denis Merigoux
|
095f0a8de1
|
Code reorg
|
2019-09-04 10:32:33 +02:00 |
|
Denis Merigoux
|
f4ce991d68
|
Dropping verif conditions raising only informative errors
|
2019-08-15 22:21:06 -07:00 |
|
Denis Merigoux
|
b585e34388
|
Added error for division by 0
|
2019-08-15 21:55:31 -07:00 |
|
Denis Merigoux
|
e75431cb02
|
Removed assertion bug but there appears to have a division by 0 bug...
|
2019-08-15 19:17:16 -07:00 |
|
Denis Merigoux
|
32b1f339fd
|
Interpreter for verifisc but translation seems to be buggy
|
2019-08-15 19:16:13 -07:00 |
|
Denis Merigoux
|
82dcdbcfbc
|
The backend name should be verifisc, since specifisc will be the name of the high-level language
|
2019-08-14 18:50:41 -07:00 |
|