search

adl / hoaf

Hanoi Omega-Automata Format
14 stars 2 forks source link

mandatory tool version number? #12

Closed strejcek closed 10 years ago

strejcek commented 10 years ago

I suggest to change

"tool:" STRING STRING

to

"tool:" STRING STRING?

to make the version number optional.

adl commented 10 years ago

done