2007-12-14 wenzelm tuned diagnostics;
2007-12-14 wenzelm run Isabelle process with plain tty interaction;
2007-12-14 wenzelm added output protocol specification;
2007-12-14 wenzelm tuned;
2007-12-14 wenzelm added isatool tty;
2007-12-14 wenzelm added ISABELLE_LINE_EDITOR setting;
2007-12-14 wenzelm added ISABELLE_LINE_EDITOR;
2007-12-14 wenzelm * isatool tty runs Isabelle process with plain tty interaction;
2007-12-14 wenzelm nested commands: avoid nested errors;
2007-12-14 wenzelm added close_witness;
2007-12-13 kleing removed syntax in locale left_commutative
2007-12-13 haftmann changed order in class parameters
2007-12-13 haftmann heutistics for type annotations in Haskell
2007-12-13 haftmann simplified
2007-12-13 haftmann memorizing and exporting destruction rules
2007-12-13 haftmann improved rule calculation
2007-12-13 haftmann exported axiomsN
2007-12-13 haftmann added div/mod examples
2007-12-13 haftmann target language div and mod
2007-12-13 haftmann clarified heading
2007-12-13 haftmann dropped ws
2007-12-13 haftmann added lemma
2007-12-13 haftmann isatool codegen now returns exit value
2007-12-13 kleing a fold operation for multisets + more lemmas
2007-12-12 haftmann tuned
2007-12-12 haftmann adjusted
2007-12-11 haftmann pretty for instantiation and overloading
2007-12-11 haftmann continued
2007-12-11 haftmann error handling for pathological cases
2007-12-11 haftmann dropped induction rule
2007-12-11 haftmann dropped Class.prep_spec
2007-12-11 haftmann moved lemma odd_pos to theory Parity
2007-12-11 haftmann joined StarClasses theory with StarDef
2007-12-11 haftmann joined EvenOdd theory with Parity
2007-12-11 haftmann tuned
2007-12-10 haftmann added simple primitive note
2007-12-10 haftmann moved instance parameter management from class.ML to axclass.ML
2007-12-10 haftmann tuned header
2007-12-10 haftmann switched import from Main to List
2007-12-10 haftmann switched import from Main to PreList
2007-12-10 haftmann explicit import of theory ATP_Linkup
2007-12-10 haftmann explicit import of theory Main
2007-12-10 haftmann swtiched ATP_Linkup and PreList in theory hierarchy
2007-12-09 wenzelm ML_OPTIONS="-H 1500" -- potentially works around GC core dump;
2007-12-09 krauss added Id, some cleanup
2007-12-08 wenzelm tuned message;
2007-12-08 wenzelm renamed IsabelleResult to IsabelleProcess.Result;
2007-12-08 wenzelm Isabelle process wrapper for JVM platform (tentative implementation in
2007-12-08 wenzelm tuned messages;
2007-12-08 wenzelm Isar loop: recover after toplevel crashes;
2007-12-08 wenzelm secure_main: enforces terminator, to gain robustness;
2007-12-08 wenzelm text_of: make double sure that result is well-formed, to avoid recurrent failures;
2007-12-08 wenzelm ML_OPTIONS="-H 1000" -- potentially works around GC core dump;
2007-12-07 wenzelm added off-line parse;
2007-12-07 wenzelm (alt)string: allow explicit character codes (as in ML);
2007-12-07 wenzelm added nested 'Isabelle.command';
2007-12-07 wenzelm updated;
2007-12-07 wenzelm special_end: replaced Z by dot;
2007-12-07 wenzelm output_prompt: CRITICAL;
2007-12-07 haftmann declaration of instance parameter names
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip