21 Commits

Author	SHA1	Message	Date
Denis Merigoux	9b0573f12c	Added revised square logo	2020-05-15 15:47:40 +02:00
Denis Merigoux	8e5743c6c6	Added scope inclusion in surface language syntax	2020-05-14 23:31:57 +02:00
Denis Merigoux	58e1a76a78	Added logo proposal	2020-05-14 22:53:42 +02:00
Denis Merigoux	c270c5fbab	Removed optional condition on meta assertions	2020-04-25 14:21:26 +02:00
Denis Merigoux	eb801fe593	More more doc	2020-04-17 16:22:20 +02:00
Denis Merigoux	72bf4d01cb	Big refactoring, better pdf build reproducibility	2020-04-17 12:29:30 +02:00
Denis Merigoux	ae5cf4ad22	Lax improvements	2020-04-16 11:25:27 +02:00
Denis Merigoux	564a332c3b	Added thin wrapper that just shows code	2020-04-15 15:10:27 +02:00
Denis Merigoux	81df78b097	Update after Alice's feedback	2020-04-07 23:19:59 +02:00
Denis Merigoux	fb0b225ce4	Various comments and text updates	2020-04-07 19:12:22 +02:00
Denis Merigoux	3a9dad4735	Updated syntax highlighting	2020-04-07 15:17:16 +02:00
Denis Merigoux	35afcf8c2f	Typo	2020-04-06 09:55:16 +02:00
Denis Merigoux	2f6d8893f4	Update latex so that we can also have doc generated from literate programming tool ... Rather than manual text	2020-04-05 19:19:52 +02:00
Denis Merigoux	f7308eadd0	Now parses all new code	2020-04-03 22:58:34 +02:00
Denis Merigoux	f22be88a5f	Update parser for rules	2020-04-03 22:34:11 +02:00
Denis Merigoux	6b54b0caf3	Update code + new articles	2020-04-03 17:17:39 +02:00
Denis Merigoux	e03de9a3a6	Updated code	2020-04-03 13:05:39 +02:00
Denis Merigoux	0590456616	Typo	2020-03-31 19:02:48 +02:00
Denis Merigoux	668f96c63d	Metadata all in one	2020-03-30 17:41:48 +02:00
Denis Merigoux	416fb4e3ff	Typos	2020-03-25 15:47:27 +01:00
Denis Merigoux	d996098a86	Revamped document for lawyers	2020-03-24 18:33:56 +01:00