| Sat, 29 Mar 2003 12:28:53 +0100 |
berghofe |
Margin for pretty-printing is now a mutable reference.
|
file |
diff |
annotate
|
| Mon, 16 Dec 2002 11:17:16 +0100 |
berghofe |
- Added mode reference variable (may be used to switch on and off specific
|
file |
diff |
annotate
|
| Wed, 27 Nov 2002 17:22:18 +0100 |
berghofe |
Parameters in definitions are now renamed to avoid clashes with
|
file |
diff |
annotate
|
| Thu, 28 Mar 2002 16:28:12 +0100 |
berghofe |
mk_const_id now checks for clashes with reserved ML identifiers.
|
file |
diff |
annotate
|
| Fri, 01 Mar 2002 22:32:38 +0100 |
wenzelm |
clarified outer syntax;
|
file |
diff |
annotate
|
| Mon, 21 Jan 2002 14:47:47 +0100 |
berghofe |
Tuned name mangling function.
|
file |
diff |
annotate
|
| Fri, 21 Dec 2001 17:31:08 +0100 |
berghofe |
Code generator now adds type constraints to val declarations (to make
|
file |
diff |
annotate
|
| Thu, 20 Dec 2001 14:57:15 +0100 |
berghofe |
"code" attribute is now managed by basic code generator module.
|
file |
diff |
annotate
|
| Thu, 13 Dec 2001 17:44:56 +0100 |
wenzelm |
made SML/XL happy;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2001 15:39:34 +0100 |
berghofe |
- Added code generator interface for types
|
file |
diff |
annotate
|
| Wed, 28 Nov 2001 00:46:26 +0100 |
wenzelm |
theory data: removed obsolete finish method;
|
file |
diff |
annotate
|
| Fri, 09 Nov 2001 00:19:20 +0100 |
wenzelm |
theory data: finish method;
|
file |
diff |
annotate
|
| Sat, 01 Sep 2001 00:20:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 18:46:48 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 16:14:34 +0200 |
berghofe |
Initial version of generic code generator.
|
file |
diff |
annotate
|