| 2009-10-15 |
ballarin |
Observe order of declaration when printing registrations.
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
disable sunbroy2 for now;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
tuned/moved divide_and_conquer';
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
tuned;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
removed separate record_quick_and_dirty_sensitive;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
simplified tactics;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
eliminated old List.foldr and OldTerm operations;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
removed unused names;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
misc tuning and simplification;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
less pervasive names;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
Method.cheating: check quick_and_dirty here;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
tuned;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
Unsynchronized.set etc.;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
indicate CRITICAL nature of various setmp combinators;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
ISABELLE_TOOL;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
merged
|
changeset |
files
|
| 2009-10-17 |
nipkow |
merged
|
changeset |
files
|
| 2009-10-17 |
nipkow |
added the_inv_onto
|
changeset |
files
|
| 2009-10-17 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
changeset |
files
|
| 2009-10-16 |
wenzelm |
removed obsolete old goal command;
|
changeset |
files
|
| 2009-10-16 |
wenzelm |
legacy Drule.standard is no longer pervasive;
|
changeset |
files
|
| 2009-10-16 |
wenzelm |
explicitly qualify Drule.standard;
|
changeset |
files
|
| 2009-10-16 |
wenzelm |
tuned white space;
|
changeset |
files
|
| 2009-10-16 |
wenzelm |
local channels for tracing/debugging;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
sunbroy2: back to single-threaded mode for now -- deadlock in Poly/ML 5.3-SVN-900;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
replaced String.concat by implode;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
space_implode;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
normalized aliases of Output operations;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
eliminated slightly odd get/set operations in favour of Unsynchronized.ref;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
natural argument order for prover;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
ATP_Manager.get_prover: canonical argument order;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
tuned proof (via atp_minimized);
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
sort_strings (cf. Pure/library.ML);
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
clarified File.platform_path vs. File.shell_path;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
exported File.shell_quote;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
misc tuning and recovery of Isabelle coding style;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
eliminated extraneous wrapping of public records;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
renamed functor HeapFun to Heap;
|
changeset |
files
|
| 2009-10-15 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| 2009-10-14 |
wenzelm |
structure ATP_Manager: eliminated slightly odd get/set operations in favour of Unsynchronized.ref;
|
changeset |
files
|
| 2009-10-14 |
wenzelm |
modernized structure names;
|
changeset |
files
|
| 2009-10-14 |
wenzelm |
show direct GC time (which is included in CPU time);
|
changeset |
files
|
| 2009-10-14 |
wenzelm |
eliminated obsolete C/flip combinator;
|
changeset |
files
|
| 2009-10-14 |
nipkow |
added List.nth
|
changeset |
files
|
| 2009-10-14 |
wenzelm |
tuned make parameters for sunbroy2;
|
changeset |
files
|
| 2009-10-14 |
wenzelm |
accomodate old version of "tail", e.g. on sunbroy2;
|
changeset |
files
|
| 2009-10-14 |
wenzelm |
settings for parallel experimental Poly/ML 5.3;
|
changeset |
files
|
| 2009-10-14 |
haftmann |
sharpened name
|
changeset |
files
|
| 2009-10-14 |
haftmann |
more explicit notion of canonized code equations
|
changeset |
files
|
| 2009-10-14 |
haftmann |
more explicit notion of canonized code equations
|
changeset |
files
|
| 2009-10-14 |
haftmann |
tuned whitespace
|
changeset |
files
|
| 2009-10-14 |
haftmann |
tuned whitespace
|
changeset |
files
|
| 2009-10-14 |
haftmann |
dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology
|
changeset |
files
|
| 2009-10-13 |
haftmann |
merged
|
changeset |
files
|
| 2009-10-13 |
haftmann |
deactivated Datatype.distinct_simproc
|
changeset |
files
|
| 2009-10-13 |
haftmann |
dropped Datatype.distinct_simproc; tuned
|
changeset |
files
|