Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc][doc] Document the model-check/visited option
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 26 May 2015 14:33:28 +0000 (16:33 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 9 Jun 2015 07:59:09 +0000 (09:59 +0200)
commitcc5fcbced3a4e6a1dec69c5810e6765a1c80da8a
treeb566fb8232086bd8821b057174110eec2c0a9d38
parent5fb24a014dbd6176ef54627201dd2fad736284ec
[mc][doc] Document the model-check/visited option
doc/doxygen/options.doc