alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/mainpage.dox: Update URL.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-06-17 00:03:39 +02:00
parent 1b3054d8a8
commit 128f105fe5
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
doc/mainpage.dox
View file

@ -3,11 +3,11 @@
/// \section overview The Spot Library /// \section overview The Spot Library
/// ///
/// Spot is a model-checking library. It provides algorithms and data /// Spot is a model-checking library. It provides algorithms and data
/// structures to implement the automata-theoretic approach to /// structures to manipulate omega-automata, and implement the
/// model-checking. /// automata-theoretic approach to model-checking.
/// ///
/// See <a href="http://spot.lip6.fr/">spot.lip6.fr</a> for more /// See <a href="http://spot.lrde.epita.fr/">spot.lrde.epita.fr</a>
/// information about this project. /// for more information about this project.
/// ///
/// \section thisdoc This Document /// \section thisdoc This Document
/// ///