30 Commits

Author	SHA1	Message	Date
Denis Merigoux	7018e2ab1d	Transformed dummy example into real english example	2020-05-25 19:07:55 +02:00
Denis Merigoux	5243f7d363	Scope inclusion in declaration, scope use precondition	2020-05-18 11:29:22 +02:00
Denis Merigoux	982e4f5748	Added scope inclusion to tutorial	2020-05-17 23:01:07 +02:00
Denis Merigoux	8e5743c6c6	Added scope inclusion in surface language syntax	2020-05-14 23:31:57 +02:00
Denis Merigoux	686669b756	Typos and removed PDF	2020-05-14 17:18:09 +02:00
Denis Merigoux	d243c562a4	Fixed surface ast with optional and collection type decorators	2020-05-07 09:40:09 +02:00
Denis Merigoux	a982ec5f51	Added retrieval of whole decrets text from LegiFrance	2020-04-30 12:15:26 +02:00
Denis Merigoux	963ae01acf	Begin to include text directly from LegiFrance	2020-04-30 10:19:45 +02:00
Denis Merigoux	d3e996dd44	Added HTML backend formatting with colors	2020-04-29 11:10:56 +02:00
Denis Merigoux	51af377c46	First HTML backend	2020-04-29 09:55:49 +02:00
Denis Merigoux	0ef7b7d624	Correct internationalization of decimal numbers and amount of money	2020-04-25 15:17:44 +02:00
Denis Merigoux	c270c5fbab	Removed optional condition on meta assertions	2020-04-25 14:21:26 +02:00
Denis Merigoux	c6cbc00cc9	Rewrote custom diff ... Not very optimized but does the job much better than the buggy OPAM package I was using	2020-04-23 11:13:27 +02:00
Denis Merigoux	e5c34946da	Reduce diff between Legifrance and code	2020-04-23 09:35:52 +02:00
Denis Merigoux	15fdc7de0e	Diff with current LegiFrance version too	2020-04-22 19:35:16 +02:00
Denis Merigoux	c8b8a729b4	Added mechanism to source-provide expiration dates	2020-04-22 14:39:32 +02:00
Denis Merigoux	33b9dbdbb1	Annotated all articles in allocations familiales implementation	2020-04-22 14:39:32 +02:00
Denis Merigoux	f01f112e28	Retrieve expiration date for articles in implementation	2020-04-22 14:39:32 +02:00
Denis Merigoux	aab7eb54a1	Begining to add LegiFrance API connection ... Added attempt at article retrieval New system	2020-04-21 19:22:42 +02:00
Denis Merigoux	5132478f87	At last a Makefile system that works	2020-04-20 19:37:16 +02:00
Denis Merigoux	f3112ad325	Changde date from builtin to parameter	2020-04-20 19:36:59 +02:00
Denis Merigoux	d53e3158a8	Makefile fixes	2020-04-20 18:47:31 +02:00
Denis Merigoux	a76a2a4622	Renaming, better Makefile factorization	2020-04-20 09:02:08 +02:00
Denis Merigoux	0584afb640	Local makefiles	2020-04-20 08:35:22 +02:00
Denis Merigoux	0977ae326e	PDF now shows file location	2020-04-19 19:04:11 +02:00
Denis Merigoux	f3c8a9241d	Added manual dependency	2020-04-19 16:30:18 +02:00
Denis Merigoux	d85de8e612	Split implem in multiple files	2020-04-19 16:30:13 +02:00
Denis Merigoux	c98c748d9d	Added text fields	2020-04-17 15:53:23 +02:00
Denis Merigoux	d8c57ec28b	More doc!	2020-04-17 15:12:11 +02:00
Denis Merigoux	72bf4d01cb	Big refactoring, better pdf build reproducibility	2020-04-17 12:29:30 +02:00