[/] [trunk/] [src/] [sources.cm] - Rev 68

Filtering Options

Revisions
Search for
Rev Log message Author Age Path
68 Rename expressionpp.sml -> expressionppfn.sml
Adjust compilation files, particularly for Poly/ML.
Add targets for transforming lex and grm files.
Include lex, grm and the version.sml file in the source distribution.
tbourke 1756d 00h 48m /trunk/src/sources.cm
62 Add copyright information to all files.
Add a Makefile for building dist files.
tbourke 1763d 13h 56m /trunk/src/sources.cm
46 Rename the xml directory to uppaalxml. tbourke 1865d 13h 46m /trunk/src/sources.cm
45 Rename the parse directory to uppaal. tbourke 1865d 13h 49m /trunk/src/sources.cm
7 Add Id as a keyword for all files. tbourke 2057d 19h 38m /trunk/src/sources.cm
4 Urpal! tbourke 2057d 20h 05m /trunk/src/sources.cm