Emile Rolley
fa8ebd3b62
docs: update the generating website assets section from the INSTALL file
2023-05-07 15:13:22 +02:00
Louis Gesbert
3294011d47
Update Docker instructions in INSTALL.md
2023-05-02 15:22:51 +02:00
Romain Primet
9be430f490
Update INSTALL.md
2023-03-29 09:40:57 +02:00
Romain Primet
03366d47c0
Update INSTALL.md
...
It seems that building with ocaml < 5.0.0 will not work due to `UChar.utf_decode_length` not being available in the stdlib prior to that version
2023-03-28 15:29:05 +02:00
Louis Gesbert
abc5a00c2f
Compile LaTeX code using minted without the Python venv
...
This is a hack, but not a dirty one: a new command `catala pygmentize` is added,
which is just a wrapper around `pygmentize` that calls it with the proper lexers
defined.
The point is that this needs no installation, just a stock `pygmentize`
installation and the `catala` binary.
2023-03-14 17:35:22 +01:00
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
