25 Commits

Author	SHA1	Message	Date
Louis Gesbert	f1e44619e0	LaTeX literate output: handle pygments coloration from within Catala ... This leverages the embedded lexer already used for HTML output, and uses the LaTeX pygments backend to colorise code directly, without the need for `minted`.	2023-03-13 22:33:48 +01:00
Louis Gesbert	e7f44d71fe	Update install instructions ... * mention the need for Python venv * it's no longer true that Catala isn't released on opam * website assets should be generated in release mode (this affects js minification, among other things) * cleanup stale API docs during `rsync`	2023-03-09 18:55:24 +01:00
adelaett	2012f352b2	update nix documentation	2023-01-19 11:31:45 -05:00
Denis Merigoux	c7f07435fc	Moved doc around	2022-09-20 10:50:43 +02:00
YueLiPicasso	9c3b001f21	gnu gedit syntax highlighting	2022-09-20 16:15:46 +08:00
Louis Gesbert	0bd80c7c22	Update INSTALL.md instructions	2022-07-20 12:05:19 +02:00
Louis Gesbert	39139816ff	Use groff directly instead of man2html	2022-07-20 12:05:19 +02:00
Denis Merigoux	c1cf956308	Warning about Z3 and the proof platform	2022-03-09 17:03:47 +01:00
Denis Merigoux	5ce85b40b2	Added all packages to be installed	2022-03-07 12:02:03 +01:00
Denis Merigoux	b46641b549	Updated install lists	2022-02-02 11:37:45 +01:00
Denis Merigoux	5ab64d9280	Merge pull request #155 from lIlIlIlIIIIlIIIllIIlIllIIllIII/feat/nix-support ... tentative nix support	2021-11-09 15:19:32 +01:00
Denis Merigoux	1a8b5716de	Closes #151 ... Add pygmentize to the list of executables to be present	2021-11-06 22:29:19 +01:00
Alain	0605f85c95	doc: Adds documentation about building and developing using nix	2021-10-29 15:19:17 +02:00
Jean-Marc Le Roux	40180df85d	Document how to build using Docker	2021-09-27 21:06:14 +02:00
Sergiusz Bleja	48f16a67c7	Fix typo ... - delete the extra p	2021-05-22 21:55:41 +01:00
Bartosz Woźniak	db46b1c444	lexer	2021-05-09 23:01:38 +02:00
Denis Merigoux	1ef533126b	Bump Ocaml and OCamlformat	2021-03-23 10:59:43 +01:00
Denis Merigoux	03774fdfc2	Fixed CI	2021-03-02 18:28:56 +01:00
Denis Merigoux	a6338c3a9c	Typos	2021-01-16 18:06:22 +01:00
Denis Merigoux	293438ea38	Missing JS stubs	2020-12-21 18:15:53 +01:00
Denis Merigoux	606b148c74	Lots of documentation	2020-12-21 16:02:00 +01:00
Denis Merigoux	f282d9586b	Improved readmes	2020-12-14 10:59:15 +01:00
Denis Merigoux	144b1e7d0d	Added VSCode syntax highlighting!	2020-08-18 23:16:27 +02:00
jemsab	42ea1bc1a4	Fix typo	2020-07-03 22:23:58 +02:00
Denis Merigoux	03b019f102	More readmes	2020-06-02 10:26:30 +02:00