search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

multiple `property:` lines #29

Closed adl closed 10 years ago

adl commented 10 years ago

Joachim suggest we allow multiple property: lines. This can make it easier to populate the properties of an automaton in some scenarios.

I don't see any problem with this.

xblahoud commented 10 years ago

Oh, I thought we do so already. Yes from me.