Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 6ad597c0 authored by POTTIER Francois's avatar POTTIER Francois

TODO update.

parent 612c6139
* About --list-errors and --interpret-error and --compile-errors:
document these options
explain that any production that contains [error] is ignored by --list-errors
should --list-errors also print the sentence in concrete form?
requires knowing the concrete form of every token
document the .messages file format
document the workflow
collect performance data
......
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