| Sat, 21 Mar 2009 19:58:44 +0100 |
wenzelm |
simplified datatype ML_Pretty.pretty: model Isabelle not Poly/ML;
|
changeset |
files
|
| Sat, 21 Mar 2009 15:09:44 +0100 |
wenzelm |
Datatype for ML pretty printing (cf. mlsource/MLCompiler/Pretty.sml in Poly/ML 5.3).
|
changeset |
files
|
| Sat, 21 Mar 2009 15:08:00 +0100 |
wenzelm |
Pretty.position;
|
changeset |
files
|
| Sat, 21 Mar 2009 15:08:00 +0100 |
wenzelm |
added position;
|
changeset |
files
|
| Sat, 21 Mar 2009 15:08:00 +0100 |
wenzelm |
added generic ML_Pretty interface;
|
changeset |
files
|
| Sat, 21 Mar 2009 13:11:12 +0100 |
wenzelm |
restricted interrupts for tasks running as future worker thread -- attempt to prevent interrupt race conditions;
|
changeset |
files
|
| Sat, 21 Mar 2009 12:37:13 +0100 |
wenzelm |
more ambitious ML_OPTIONS;
|
changeset |
files
|
| Sat, 21 Mar 2009 12:35:34 +0100 |
wenzelm |
more stats;
|
changeset |
files
|
| Fri, 20 Mar 2009 21:32:12 +0100 |
wenzelm |
added ML syntax markup;
|
changeset |
files
|
| Fri, 20 Mar 2009 20:22:13 +0100 |
wenzelm |
report markup for ML tokens;
|
changeset |
files
|
| Fri, 20 Mar 2009 20:21:38 +0100 |
wenzelm |
Antiquote.read: argument for reporting text;
|
changeset |
files
|
| Fri, 20 Mar 2009 20:20:09 +0100 |
wenzelm |
future_job: do not inherit attributes, but enforce restricted interrupts -- attempt to prevent interrupt race conditions;
|
changeset |
files
|