state: support negation
commit539d6123ae9d429a7e562d8c1c0315e91c40cc81
authorMartin Buck <mb-tmp-sbb-cebwrpgf.bet@gromit.dyndns.org>
Wed, 17 Nov 2010 07:32:57 +0000 (17 08:32 +0100)
committerMax Kellermann <max@duempel.org>
Wed, 17 Nov 2010 07:34:38 +0000 (17 08:34 +0100)
treee9a5b7e116864432cfca06092f7df2bca8e42841
parentbe8790cde3ddc6850331bd9871f5cb0dd79ba23f
state: support negation
NEWS
src/ferm
test/modules/state.ferm
test/modules/state.result