44 Commits

Author	SHA1	Message	Date
Denis Merigoux	9fc3007fc6	Simple procedure to get latest catala	2021-04-13 18:35:04 +02:00
Denis Merigoux	3925a8bd11	Link to the opam package	2021-03-19 18:38:57 +01:00
Denis Merigoux	3772a4cb83	Added badges and updated description	2021-03-19 18:34:38 +01:00
EmileRolley	918fcc2c06	docs(readme): use url link like screenshot src	2021-03-10 18:36:10 +01:00
EmileRolley	3910451fc8	docs: modify README.md's screenshots size	2021-03-10 15:20:44 +01:00
EmileRolley	e2d7f0c57d	docs: modify README.md's screenshots width	2021-03-10 15:15:47 +01:00
EmileRolley	8ac31002e2	docs(readme): change pdf screenshot width to 100%	2021-03-10 15:11:47 +01:00
Emile Rolley	ed7a534eca	docs(readme): change VSCode screenshot path	2021-03-10 15:08:42 +01:00
Denis Merigoux	baaa79c555	Fixes #78, as well as various improvements	2021-03-05 19:16:56 +01:00
Denis Merigoux	373429f33e	Link to zulip	2021-01-05 19:05:29 +01:00
Denis Merigoux	606b148c74	Lots of documentation	2020-12-21 16:02:00 +01:00
Denis Merigoux	e33ea8d55c	Finished documentation	2020-12-14 18:09:38 +01:00
Denis Merigoux	f282d9586b	Improved readmes	2020-12-14 10:59:15 +01:00
Denis Merigoux	8c22b8e47a	Change screenshot with English	2020-10-31 21:06:51 +01:00
Denis Merigoux	df25d5d94d	Automated test suite!	2020-08-07 17:37:28 +02:00
Denis Merigoux	03b019f102	More readmes	2020-06-02 10:26:30 +02:00
Denis Merigoux	4daca51ee3	Updated README	2020-05-26 15:58:41 +02:00
Denis Merigoux	13545740e8	Bump OCaml version	2020-05-26 10:41:21 +02:00
Denis Merigoux	e5becb8340	Added logo!	2020-05-15 15:57:32 +02:00
Nicolas Chataing	6126d6982f	Add archlinux instructions in the readme	2020-05-15 10:12:19 +02:00
Denis Merigoux	c03f2c27f5	More README	2020-05-13 14:53:53 +02:00
Denis Merigoux	4f91e74cb5	Improved makefiles and doc	2020-05-13 14:17:41 +02:00
Denis Merigoux	6eb681c5f1	Modified Makefile	2020-05-13 13:53:24 +02:00
Denis Merigoux	f31c07f991	Merge pull request #4 from risseraka/patch-1 ... Fix typo	2020-05-13 10:40:22 +02:00
Denis Merigoux	9a97d0af25	Updated README.md	2020-05-13 10:25:39 +02:00
Adrien Risser	4185263ba7	Fix typo	2020-05-06 10:37:00 +02:00
Adrien Risser	3211c552b0	Fix typo	2020-05-06 10:35:08 +02:00
Denis Merigoux	2b6e1c3920	Update doc	2020-04-27 10:04:13 +02:00
Denis Merigoux	b12ac5b5bf	Update doc	2020-04-20 09:05:40 +02:00
Denis Merigoux	b57bb05325	Added Makefile automatic dependency discovering	2020-04-19 18:39:16 +02:00
Denis Merigoux	d85de8e612	Split implem in multiple files	2020-04-19 16:30:13 +02:00
Denis Merigoux	1853a3f1b0	Remove image centering	2020-04-17 17:39:51 +02:00
Denis Merigoux	1aed3714c9	Images should work	2020-04-17 17:37:34 +02:00
Denis Merigoux	0a62d91684	Another attempt at images	2020-04-17 17:34:18 +02:00
Denis Merigoux	f765149b39	Images for Github	2020-04-17 17:32:42 +02:00
Denis Merigoux	9020d7200d	In case of Windows	2020-04-17 16:30:23 +02:00
Denis Merigoux	eb801fe593	More more doc	2020-04-17 16:22:20 +02:00
Denis Merigoux	d4b46a3d6c	Added last timestamp modified file	2020-04-17 15:28:34 +02:00
Denis Merigoux	d8c57ec28b	More doc!	2020-04-17 15:12:11 +02:00
Denis Merigoux	d501efb806	Added paragraph about Pierre Catala	2020-04-16 18:58:05 +02:00
Denis Merigoux	a9a10f0e7f	Rename to Catala!	2020-04-16 18:42:37 +02:00
Denis Merigoux	6c0097e12e	Instructions	2020-03-08 06:54:35 +01: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