Opened 16 years ago

Closed 15 years ago

#206 closed task (wontfix)

Formal grammar for assertion and joint invariant language

Reported by: zirkel Owned by: bperry
Priority: major Milestone: Release 1.0
Component: XML Version: 1.0
Keywords: Cc:

Description

We need to write this down.

Change History (1)

comment:1 by Stephen Siegel, 15 years ago

Resolution: → wontfix
Status: new → closed

This has been subsumed by the new front-end project, which will include a TASS pragma parser.

Note: See TracTickets for help on using tickets.