Commit 6ab3ca7b by POTTIER Francois


parent 3e91f5d0
# Changes
## 2017/07/12
* Include the LaTeX sources of the manual in the official `.tar.gz` archive.
This should allow the manual to be included as part of the Debian package.
* Mention [Obelisk](,
a pretty-printer for `.mly` files, in the manual.
## 2017/06/07
* Removed an undeclared dependency of MenhirSdk on Unix. (Reported and fixed
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 sign in to comment