2007-08-13 wenzelm 2007-08-13 SimpleSyntax.read_prop;
2007-08-13 isatest 2007-08-13 added atbroy9
2007-08-13 isatest 2007-08-13 multi-threading with poly 5.1 test
2007-08-13 kleing 2007-08-13 new attribute [rotated]
2007-08-13 wenzelm 2007-08-13 tuned comments;
2007-08-13 wenzelm 2007-08-13 Simple syntax for types and terms --- for bootstrapping Pure.
2007-08-13 wenzelm 2007-08-13 added Syntax/simple_syntax.ML;
2007-08-12 wenzelm 2007-08-12 * Syntax: scope for resolving ambiguities via type-inference is now limited to individual terms;
2007-08-12 wenzelm 2007-08-12 read_def_terms': restrict scope of disambiguation to individual term;
2007-08-12 wenzelm 2007-08-12 stream source: non-critical, assuming exclusive ownership;
2007-08-12 wenzelm 2007-08-12 added type constraints to resolve syntax ambiguities;
2007-08-12 wenzelm 2007-08-12 made SML/NJ happy;
2007-08-11 wenzelm 2007-08-11 schedule_tasks: alphabetical order for equivalent tasks;
2007-08-10 wenzelm 2007-08-10 simultaneous use_thys;
2007-08-10 wenzelm 2007-08-10 tuned ML bindings;
2007-08-10 haftmann 2007-08-10 tuned
2007-08-10 haftmann 2007-08-10 dropped code generator setup garbage
2007-08-10 haftmann 2007-08-10 syntax fix
2007-08-10 haftmann 2007-08-10 corrected code generator module names
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-08-10 haftmann 2007-08-10 code generator setup improved
2007-08-10 haftmann 2007-08-10 adjusted
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-08-10 haftmann 2007-08-10 ClassPackage renamed to Class
2007-08-10 haftmann 2007-08-10 updated
2007-08-10 wenzelm 2007-08-10 simultaneous use_thys;
2007-08-10 paulson 2007-08-10 removal of some refs
2007-08-10 wenzelm 2007-08-10 (un)interruptible: pass-through original thread attributes;
2007-08-10 wenzelm 2007-08-10 tuned; added jEdit mode spec;
2007-08-10 wenzelm 2007-08-10 HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
2007-08-10 wenzelm 2007-08-10 added jEdit mode spec; tuned comments;
2007-08-10 wenzelm 2007-08-10 * Experimental support for multithreading, using Poly/ML 5.1;
2007-08-09 wenzelm 2007-08-09 schedule: misc cleanup, more precise task model;
2007-08-09 wenzelm 2007-08-09 schedule: more precise task model; improved error handling: first failure causes interrupt of all threads; misc cleanup;
2007-08-09 wenzelm 2007-08-09 schedule: more precise task model; removed obsolete structure Task;
2007-08-09 wenzelm 2007-08-09 fixed DESCRIPTION: single line; proper quoting of shell variables;
2007-08-09 wenzelm 2007-08-09 updated;
2007-08-09 wenzelm 2007-08-09 adapted ThyLoad.check_thy;
2007-08-09 haftmann 2007-08-09 dropped
2007-08-09 haftmann 2007-08-09 explizit checking for pattern discipline
2007-08-09 haftmann 2007-08-09 proper handling of empty datatypes
2007-08-09 haftmann 2007-08-09 improved class target: now considers class intro rules
2007-08-09 haftmann 2007-08-09 new access interface in defs.ML
2007-08-09 haftmann 2007-08-09 adaptions for code generation
2007-08-09 haftmann 2007-08-09 proper implementation of rational numbers
2007-08-09 haftmann 2007-08-09 localized of_nat
2007-08-09 haftmann 2007-08-09 tuned
2007-08-09 haftmann 2007-08-09 re-eliminated Option.thy
2007-08-09 haftmann 2007-08-09 updated
2007-08-09 aspinall 2007-08-09 PGIP change: thyname is optional in opentheory, markup even in case of header parse failure
2007-08-09 aspinall 2007-08-09 Typo in comment
2007-08-08 wenzelm 2007-08-08 discontinued attached ML files; end_theory: fail on unresolved dependencies;
2007-08-08 wenzelm 2007-08-08 simplified ThyLoad.deps_thy etc.: discontinued attached ML files;
2007-08-08 wenzelm 2007-08-08 load_thy: try_ml_file unconditionally;
2007-08-08 wenzelm 2007-08-08 * Theory loader: old-style ML proof scripts are considered a legacy feature;
2007-08-08 wenzelm 2007-08-08 check_deps: really do reload the master text if required; load_thy: more robust check of corrupted deps; require_thy: outdate_thy if required; tuned;
2007-08-08 aspinall 2007-08-08 Useful abbreviation of isatool commands used by Eclipse
2007-08-08 wenzelm 2007-08-08 thread-safeness: when creating certified items, perform Theory.check_thy *last*; tuned datatype proof;
2007-08-08 paulson 2007-08-08 Code to undo the function ascii_of
2007-08-08 paulson 2007-08-08 Fixing the code to undo the function ascii_of