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 c7134293 authored by POTTIER Francois's avatar POTTIER Francois

CHANGES.

parent bf78bde7
......@@ -4,7 +4,8 @@
* The new command line switch `--dump-resolved` writes a description of the
automaton to the file `.automaton.resolved` *after* conflicts have been
resolved and extra reductions have been introduced.
resolved and extra reductions have been introduced. This file also shows
which states have a default reduction.
* The command line switch `--dump` writes a description of the automaton to
the file `.automaton` *before* conflicts have been resolved and extra
......
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