2007-12-18 haftmann 2007-12-18 switched from PreList to ATP_Linkup
2007-12-18 berghofe 2007-12-18 Renamed *.size to prod.size.
2007-12-18 berghofe 2007-12-18 Alternative names are now also used when storing theorems for size functions.
2007-12-18 krauss 2007-12-18 temporarily fixed documentation due to changed size functions
2007-12-18 wenzelm 2007-12-18 split_primel: salvaged original proof after blow with sledghammer (this constructive version is required in HOL/Extraction);
2007-12-17 wenzelm 2007-12-17 cond_timeit: added message argument, use Exn.capture/release; tuned;
2007-12-17 wenzelm 2007-12-17 cond_timeit: added message argument;
2007-12-17 haftmann 2007-12-17 note in target
2007-12-17 haftmann 2007-12-17 maior tuning
2007-12-17 haftmann 2007-12-17 tuned
2007-12-17 berghofe 2007-12-17 Added foldl1.
2007-12-17 berghofe 2007-12-17 Adapted to changes in size function.
2007-12-17 berghofe 2007-12-17 size functions for nested datatypes are now expressed using generic ..._size functions.
2007-12-17 berghofe 2007-12-17 Adapted to changes in interface of indtac.
2007-12-17 berghofe 2007-12-17 - Removed redundant head_len field in datatype_info - Added new alt_names field in datatype_info
2007-12-17 berghofe 2007-12-17 - Removed redundant head_len field in datatype_info - Added new alt_names field in datatype_info - indtac now takes additional list of variables as argument
2007-12-17 paulson 2007-12-17 tidied some messy proofs
2007-12-17 berghofe 2007-12-17 Deleted copy of indtac.
2007-12-17 berghofe 2007-12-17 Added code lemma for message_string_size.
2007-12-17 berghofe 2007-12-17 Removed obsolete lemma size_sum.
2007-12-17 paulson 2007-12-17 fixed ancestors
2007-12-17 haftmann 2007-12-17 whitespace typo
2007-12-17 haftmann 2007-12-17 explicit closing of derived witnesses
2007-12-17 haftmann 2007-12-17 closed rules
2007-12-17 haftmann 2007-12-17 improved semantics of timeapp_msg
2007-12-17 haftmann 2007-12-17 improved term syntax
2007-12-17 nipkow 2007-12-17 removed legacy proofs
2007-12-17 krauss 2007-12-17 spread NEWS about "induction_scheme" method
2007-12-16 kleing 2007-12-16 settings for cvs version of poly
2007-12-16 wenzelm 2007-12-16 tuned comments;
2007-12-16 wenzelm 2007-12-16 constructor: allow default logic; kill: refer to "isabelle.kill" system property;
2007-12-16 wenzelm 2007-12-16 constructor: allow default logic;
2007-12-15 wenzelm 2007-12-15 tuned whitespace;
2007-12-15 wenzelm 2007-12-15 compose command line according to isabelle.shell/home system properties;
2007-12-15 wenzelm 2007-12-15 tuned comments;
2007-12-15 wenzelm 2007-12-15 addClassPath;
2007-12-15 wenzelm 2007-12-15 added example session with Beanshell;
2007-12-15 wenzelm 2007-12-15 ExitThread: deliver message before EXIT;
2007-12-15 wenzelm 2007-12-15 tuned;
2007-12-15 wenzelm 2007-12-15 tuned;
2007-12-15 wenzelm 2007-12-15 * isatool browser now works with Cygwin; * isabelle-process: non-ML sessions are run with "nice"; * JVM class isabelle.IsabelleProcess (in Isabelle/lib/classes);
2007-12-15 wenzelm 2007-12-15 added javapath (for cygwin);
2007-12-15 wenzelm 2007-12-15 ExitThread: sleep(300) before delivering EXIT message;
2007-12-15 wenzelm 2007-12-15 reorganized demo;
2007-12-15 wenzelm 2007-12-15 reorganized demo;
2007-12-15 wenzelm 2007-12-15 class Result: replaced FAILURE by SYSTEM (internal notification); tuned isabelle command line -- explicit bash makes it work on cygwin also;
2007-12-15 wenzelm 2007-12-15 non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
2007-12-15 wenzelm 2007-12-15 recover: not skip over "`";
2007-12-15 wenzelm 2007-12-15 package isabelle; replaced outputWrapped by outputSync;
2007-12-15 wenzelm 2007-12-15 text_of: made even more robust against recurrent errors; tuned;
2007-12-15 wenzelm 2007-12-15 added separate_chars;
2007-12-15 wenzelm 2007-12-15 removed unused escape_malformed;
2007-12-15 wenzelm 2007-12-15 outputWrapped: more robust initial synchronization;
2007-12-15 wenzelm 2007-12-15 Result: added STDOUT, SIGNAL; renamed method destroy to kill; method kill: close--sleep--destroy; tuned;
2007-12-15 wenzelm 2007-12-15 option -m: avoid additional quoting;
2007-12-15 wenzelm 2007-12-15 tuned whitespace;
2007-12-15 wenzelm 2007-12-15 proper termination of stdout thread; tuned;
2007-12-14 wenzelm 2007-12-14 added exit thread; added destroy method; tuned;
2007-12-14 wenzelm 2007-12-14 tuned diagnostics;
2007-12-14 wenzelm 2007-12-14 run Isabelle process with plain tty interaction;