search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

Better wording in case of missing States: header #41

Closed adl closed 9 years ago

adl commented 9 years ago

This fixes #39.