jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity
1186 commits 2 branches 0 tags 6.9 MiB
Commit graph

1 commit

Author SHA1 Message Date
Gwenal Delaval
11493f3274 Manual 
UpDown automaton (figure)

Changes in the structure: contracts within Section "Syntax and informal semantics"
 2012-07-05 17:26:29 +02:00