Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc][doc] Document the model-check/dot_output option
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 26 May 2015 14:58:52 +0000 (16:58 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 9 Jun 2015 07:59:09 +0000 (09:59 +0200)
commitd90c183b7ab2f38025e0cb58131260dc04def931
tree356bbe7751b4de9fa1ab5d4a351875af7a10471b
parentfbf9fb3a0b1846167834bf842a3cb88ebfa46d30
[mc][doc] Document the model-check/dot_output option
doc/doxygen/options.doc