Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
ltl2tgba.org
Find file
Blame
History
Permalink
org: upgrade to 1.0.2
· c24270bb
Alexandre Duret-Lutz
authored
Mar 19, 2013
* doc/org/tools.org: Update to 1.0.2. * doc/org/ltl2tgba.org: Mention monitors in the intro.
c24270bb