Commit 8dfc1e05 authored by POTTIER Francois's avatar POTTIER Francois

A little addition in the manual.

parent 4ff4cd7f
......@@ -1932,7 +1932,9 @@ The list is roughly sorted by decreasing order of importance.
not just in terms of the automaton. \menhir's explanations are believed
to be understandable by mere humans.
\item \menhir offers an incremental API (in \otable mode only).
\item \menhir offers an incremental API (in \otable mode only) (\sref{sec:incremental}). This
means that the state of the parser can be saved at any point (at no
cost) and that parsing can later be resumed from a saved state.
\item \menhir offers an interpreter (\sref{sec:interpret}) that helps debug
grammars interactively.
......
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