Nous avons procédé ce jeudi matin 08 avril 2021 à une MAJ de sécurité urgente. Nous sommes passé de la version 13.9.3 à la version 13.9.5 les releases notes correspondantes sont ici:

Commit 92993878 authored by POTTIER Francois's avatar POTTIER Francois


parent 83fc6d59
......@@ -28,6 +28,8 @@
* Contribute correct dune build rules for menhir (--infer).
Document them in the Q&A section of the manual.
Use Dune >= 1.4 and write "(using menhir 2.0)"
in the dune-project file.
* Work of Frédéric on concrete syntax trees.
- Produce a definition of the specific type of CSTs for this grammar.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment