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
|
Fri, 20 Mar 2009 20:05:51 +0100 |
wenzelm |
uniform ml_prompts for RAW and Pure;
|
changeset |
files
|
Fri, 20 Mar 2009 18:46:50 +0100 |
wenzelm |
eliminated old Addsimps;
|
changeset |
files
|
Fri, 20 Mar 2009 17:12:37 +0100 |
wenzelm |
Disposed old declarations, tactics, tactic combinators that refer to the simpset or claset of an implicit theory;
|
changeset |
files
|
Fri, 20 Mar 2009 17:04:44 +0100 |
wenzelm |
fixed possibility_tac;
|
changeset |
files
|
Fri, 20 Mar 2009 15:24:18 +0100 |
wenzelm |
eliminated global SIMPSET, CLASET etc. -- refer to explicit context;
|
changeset |
files
|
Fri, 20 Mar 2009 11:26:59 +0100 |
wenzelm |
merged
|
changeset |
files
|
Fri, 20 Mar 2009 10:44:25 +0100 |
berghofe |
merged
|
changeset |
files
|