41 Commits

Author	SHA1	Message	Date
Denis Merigoux	a37357bb56	Array type is beginning to work	2020-12-29 22:26:10 +01:00
Denis Merigoux	c51c8760cb	New assets for playground	2020-12-25 17:09:44 +01:00
Denis Merigoux	8dd95dec42	Improved error messages	2020-12-24 17:17:38 +01:00
Denis Merigoux	ae0cb80a25	Various fixes for French tutorial	2020-12-24 16:09:40 +01:00
Denis Merigoux	81c464ea7e	Added labels and exceptions to surface syntax	2020-12-18 13:13:51 +01:00
Denis Merigoux	a4916208ba	amount -> money	2020-12-10 09:35:36 +01:00
Denis Merigoux	5abb73157f	Fix content/type lexer issue in nv	2020-12-06 18:09:48 +01:00
Denis Merigoux	ee0cb1eefc	Preventing recursive type definitions	2020-12-06 12:32:36 +01:00
Denis Merigoux	144b1e7d0d	Added VSCode syntax highlighting!	2020-08-18 23:16:27 +02:00
Denis Merigoux	e54bce094c	Localized files extensions, syntax highlighting for non-verbose which is now the defaul	2020-08-08 19:07:28 +02:00
Denis Merigoux	cfd5a8924f	Get scope context conditions right	2020-06-07 13:45:26 +02:00
Denis Merigoux	0d0e4459f7	Added condition context parameters	2020-06-07 13:28:13 +02:00
Denis Merigoux	ec44f0a000	Application_field -> scope	2020-05-12 18:13:54 +02:00
Denis Merigoux	a2fd1a228a	Fixed all syntax highlighting scripts	2020-04-27 09:57:13 +02:00
Denis Merigoux	b0a3b1312e	Debugged english coloring (dollar sign was the problem)	2020-04-27 09:34:25 +02:00
Denis Merigoux	d4340fa25d	Added english syntax highlighting but still buggy	2020-04-26 22:53:43 +02:00
Denis Merigoux	bd9401c034	Added english atom syntax highlighting	2020-04-26 20:59:04 +02:00
Denis Merigoux	0ba61d9a0d	Preparation for en version of syntax highlighting	2020-04-26 20:48:51 +02:00
Denis Merigoux	7ed3c9e9e5	Syntax highlighting fr	2020-04-26 20:07:14 +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	c98c748d9d	Added text fields	2020-04-17 15:53:23 +02:00
Denis Merigoux	72bf4d01cb	Big refactoring, better pdf build reproducibility	2020-04-17 12:29:30 +02:00
Denis Merigoux	08a2514232	Added pygments as a submodule	2020-04-17 09:51:35 +02:00
Denis Merigoux	a9a10f0e7f	Rename to Catala!	2020-04-16 18:42:37 +02:00
Denis Merigoux	b3c707df67	Added heading precedence	2020-04-16 09:07:21 +02:00
Denis Merigoux	a2649e122a	Added proper frontend support for dates	2020-04-15 16:02:40 +02:00
Denis Merigoux	ab7975381a	Bump copyright	2020-04-15 15:33:21 +02:00
Denis Merigoux	c17ed56b53	Modifications to parser to accomodate for field projection	2020-04-14 17:29:50 +02:00
Denis Merigoux	8c79bdd1dd	Fix syntax highltghting	2020-04-14 10:29:24 +02:00
Denis Merigoux	cb31653cd7	Add D521-2	2020-04-11 22:55:43 +02:00
Denis Merigoux	912ae4c75a	Added almost all D521-3	2020-04-11 21:42:17 +02:00
Denis Merigoux	177a6e3b3e	Added R521-3	2020-04-11 18:16:15 +02:00
Denis Merigoux	44a4637fc2	Formalized L512_2	2020-04-10 18:46:06 +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	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	aa57786e82	Generation of weaved pdf working again	2020-04-04 20:22:16 +02:00
Denis Merigoux	4a56886a0f	Changed language	2020-03-12 16:10:00 +01:00
Denis Merigoux	785d2d2311	Better syntax highlighting	2020-03-10 16:47:50 +01:00
Denis Merigoux	fed849201e	Added proper syntax highlighting + Utf8 support complete!	2020-03-09 19:14:06 +01:00