Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
tut21.org
Find file
Blame
History
Permalink
doc: show more metadata about automata
· 84f9be9e
Alexandre Duret-Lutz
authored
Oct 22, 2015
* src/twa/bdddict.hh (varnum): New method. * doc/org/tut21.org: Show more metadata.
84f9be9e