[/] [trunk/] [src/] [uppaal/] [environmentppfn.sml] - Rev 62

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
62 Add copyright information to all files.
Add a Makefile for building dist files.		 tbourke 1737d 03h 05m /trunk/src/uppaal/environmentppfn.sml
45 Rename the parse directory to uppaal. tbourke 1839d 02h 58m /trunk/src/uppaal/environmentppfn.sml
30 Add the mapBoth value to Environment, and update EnvironmentPP, so that
typedefs are sorted along with variable declarations.

Otherwise input like this:
const int N = 4;
typedef int[0, N-1] id_t;

ends up as output like this:
typedef int[0, N-1] id_t;
const int N = 4;		 tbourke 1880d 03h 52m /trunk/src/parse/environmentppfn.sml
12 Rename into MoscowML/sml.net format. tbourke 2029d 08h 54m /trunk/src/parse/environmentppfn.sml
11 Rename into MoscowML/sml.net format. tbourke 2029d 08h 55m /trunk/src/parse/environment-pp-fn.sml
7 Add Id as a keyword for all files. tbourke 2031d 08h 47m /trunk/src/parse/environment-pp-fn.sml
4 Urpal! tbourke 2031d 09h 14m /trunk/src/parse/environment-pp-fn.sml