source: Deliverables/D3.1/C-semantics/Animation.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @487   8 years campbell Port Clight semantics to the new-new matita syntax.
(edit) @478   8 years campbell Prevent clashes between names in AST and other parts of the …
(add) @409   9 years campbell Update a couple of examples; put support for animation in its own file.
Note: See TracRevisionLog for help on using the revision log.