| Tue, 17 Aug 2010 22:57:11 +0200 |
wenzelm |
report command token name instead of kind, which can be retrieved later via Outer_Syntax.keyword_kind;
|
changeset |
files
|
| Tue, 17 Aug 2010 18:41:55 +0200 |
wenzelm |
discontinued support for Poly/ML 5.0 and 5.1 versions;
|
changeset |
files
|
| Tue, 17 Aug 2010 18:04:08 +0200 |
wenzelm |
updated for prospective Poly/ML 5.4;
|
changeset |
files
|
| Tue, 17 Aug 2010 17:57:05 +0200 |
wenzelm |
multi-platform build script for Poly/ML;
|
changeset |
files
|
| Tue, 17 Aug 2010 17:03:38 +0200 |
wenzelm |
updated keywords;
|
changeset |
files
|
| Tue, 17 Aug 2010 17:01:46 +0200 |
wenzelm |
updated Named_Target.init;
|
changeset |
files
|
| Tue, 17 Aug 2010 16:47:19 +0200 |
wenzelm |
made 9043eefe8d71 actually compile;
|
changeset |
files
|
| Tue, 17 Aug 2010 16:38:45 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 17 Aug 2010 14:33:44 +0200 |
haftmann |
merged
|
changeset |
files
|
| Tue, 17 Aug 2010 14:33:39 +0200 |
haftmann |
formally document `code abstype` and `code abstract` attributes
|
changeset |
files
|
| Tue, 17 Aug 2010 14:33:39 +0200 |
haftmann |
NEWS and CONTRIBUTORS
|
changeset |
files
|
| Tue, 17 Aug 2010 14:19:12 +0200 |
haftmann |
nicer code for rev
|
changeset |
files
|