Commit 78b4643b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Mention Obelisk in the manual.

parent db11216f
......@@ -4,3 +4,10 @@
year = "2014",
howpublished = "\url{https://github.com/AbsInt/CompCert}",
}
@Misc{obelisk,
author = {L\'elio Brun},
title = {Obelisk},
howpublished = {\url{https://github.com/Lelio-Brun/Obelisk}},
year = 2017
}
......@@ -3921,6 +3921,9 @@ Indeed, as of 2015/11/04, the computation of positions has changed so as to matc
behavior. As a result, \texttt{\$startpos} can now appear to be too far off to the left. This is explained
in \sref{sec:positions}. In short, the solution is to use \verb+$symbolstartpos+ instead.
\question{Can I pretty-print a grammar in ASCII, HTML, or \LaTeX{} format?}
Yes. Have a look at \texttt{obelisk} \cite{obelisk}.
% ------------------------------------------------------------------------------
\section{Technical background}
......
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