Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit de38ef42 authored by POTTIER Francois's avatar POTTIER Francois


parent e7387a83
......@@ -154,7 +154,7 @@ check:
RSYNC := scp -p -C
PAGE := /home/fpottier/dev/page
API := convert.mli.html
API := convert.mli.html general.mli.html
# Copier l'archive et la doc vers yquem.
......@@ -54,7 +54,7 @@
......@@ -2096,7 +2096,7 @@ tools for this purpose.
A parser stack can be viewed as a stream of elements, where the first element
of the stream is the topmost element of the stack. (The type \verb+'a stream+
is defined in the module \menhirlibgeneral.) % TEMPORARY export this HTML file
is defined in the module \menhirlibgeneral.)
This stream is empty if the parser is in an initial state, and non-empty otherwise.
% (Which initial state? -- no way to know...)
In the latter case,
......@@ -15,7 +15,7 @@
# ----------------------------------------------------------------------------
# Pretty-printing the MenhirLib.Convert API.
api: convert.mli.html
api: convert.mli.html general.mli.html
%.mli.html: %.mli
caml2html -nf $<
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