Wed, 11 Sep 2013 14:07:24 +0200 blanchet reintroduced half of f99ee3adb81d -- that part definitely looks useless (and is inefficient)
Wed, 11 Sep 2013 14:07:24 +0200 blanchet reverted f99ee3adb81d -- that old logic seems to make a difference still today
Wed, 11 Sep 2013 11:38:07 +0200 wenzelm merged
Wed, 11 Sep 2013 11:34:27 +0200 wenzelm tuned comment;
Wed, 11 Sep 2013 11:08:48 +0200 wenzelm tuned;
Wed, 11 Sep 2013 11:07:39 +0200 wenzelm updated for release;
Wed, 11 Sep 2013 00:00:59 +0200 wenzelm tuned proofs;
Tue, 10 Sep 2013 23:50:03 +0200 wenzelm tuned proofs;
Tue, 10 Sep 2013 23:08:48 +0200 wenzelm updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar);
Tue, 10 Sep 2013 22:37:01 +0200 wenzelm disable some key event workarounds going back to Matthieu Casanova (08-Dec-2007) and Slava Pestov (until 2005) -- lets hope that Java 7 works more uniformly with numeric keypads;
Tue, 10 Sep 2013 18:14:47 +0200 wenzelm tuned proofs;
Tue, 10 Sep 2013 16:09:33 +0200 wenzelm discontinued obsolete command-line tool "isabelle build_dialog";
Wed, 11 Sep 2013 10:57:09 +0200 blanchet updated docs
Wed, 11 Sep 2013 09:51:30 +0200 blanchet speed up often-called function
Wed, 11 Sep 2013 09:51:19 +0200 blanchet got rid of currently unused data structure, to speed up relevance filter
Wed, 11 Sep 2013 09:50:48 +0200 blanchet adjusted number of generated monomorphic instances for new monomorphizer based on new evaluation (E, SPASS, Vampire)
Tue, 10 Sep 2013 16:02:02 +0200 blanchet sorted out dependencies
Tue, 10 Sep 2013 15:56:52 +0200 blanchet faster detection of tautologies
Tue, 10 Sep 2013 15:56:51 +0200 blanchet slight speed optimization
Tue, 10 Sep 2013 15:56:51 +0200 blanchet got rid of another slowdown factor in relevance filter
Tue, 10 Sep 2013 15:56:51 +0200 blanchet removed completely needless, inefficient code
Tue, 10 Sep 2013 15:56:51 +0200 blanchet minor speed optimization
Tue, 10 Sep 2013 15:56:51 +0200 blanchet got rid of another taboo that appears to make no difference in practice (and that slows down the relevance filter)
Tue, 10 Sep 2013 15:56:51 +0200 blanchet avoid double traversal of term
Tue, 10 Sep 2013 15:56:51 +0200 blanchet got rid of old, needless logic
Tue, 10 Sep 2013 15:56:51 +0200 blanchet moved ML function closer to its remaining use
Tue, 10 Sep 2013 15:56:51 +0200 blanchet faster uniquification
Tue, 10 Sep 2013 15:56:51 +0200 blanchet stronger fact normalization
Tue, 10 Sep 2013 15:56:51 +0200 blanchet gracefully handle huge thys
Tue, 10 Sep 2013 15:56:51 +0200 blanchet speed up detection of simp rules
Tue, 10 Sep 2013 15:56:51 +0200 blanchet don't be so verbose about SMT solver failures
Tue, 10 Sep 2013 14:02:49 +0200 wenzelm tuned;
Tue, 10 Sep 2013 11:57:53 +0200 wenzelm more portable hash-bang;
Tue, 10 Sep 2013 11:46:51 +0200 wenzelm tuned signature;
Tue, 10 Sep 2013 00:22:12 +0200 wenzelm merged
Tue, 10 Sep 2013 00:18:30 +0200 wenzelm tuned proofs;
Mon, 09 Sep 2013 23:11:02 +0200 wenzelm tuned proofs;
Mon, 09 Sep 2013 23:55:35 +0200 blanchet make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices
Mon, 09 Sep 2013 23:54:59 +0200 blanchet since "full_proofs" can influence the proof search significantly (e.g. by disabling splitting for SPASS), it shouldn't be affected by the "debug" flag in the interest of minimizing confusion
Mon, 09 Sep 2013 23:09:37 +0200 blanchet more docs
Mon, 09 Sep 2013 20:24:15 +0200 wenzelm merged
Mon, 09 Sep 2013 17:28:08 +0200 wenzelm proper apple.awt.application.name for Java 7;
Mon, 09 Sep 2013 17:02:06 +0200 wenzelm generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
Mon, 09 Sep 2013 16:15:48 +0200 wenzelm more robust Mac OS X application support;
Mon, 09 Sep 2013 15:53:02 +0200 wenzelm use polyml-5.5.1 (SVN), to increase chances of stability of this test;
Mon, 09 Sep 2013 14:48:16 +0200 wenzelm override potential changes in $ISABELLE_HOME_USER/etc/settings;
Mon, 09 Sep 2013 14:22:39 +0200 wenzelm generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
Mon, 09 Sep 2013 13:48:06 +0200 wenzelm generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
Mon, 09 Sep 2013 18:14:54 +0200 blanchet tuning
Mon, 09 Sep 2013 18:12:41 +0200 blanchet made semantics of "max_new_instances" be what the name suggests, the previous implementation did, and the Sledgehammer manual documents
Mon, 09 Sep 2013 15:22:04 +0200 blanchet limit the number of instances of a single theorem
Mon, 09 Sep 2013 15:22:04 +0200 blanchet move metis to new monomorphizer
Mon, 09 Sep 2013 15:22:04 +0200 blanchet use new monomorphizer in Sledgehammer
Mon, 09 Sep 2013 14:23:04 +0200 blanchet tuning
Mon, 09 Sep 2013 14:22:11 +0200 blanchet include map theorems in datastructure for "primcorec"
Mon, 09 Sep 2013 13:47:58 +0200 blanchet enriched data structure with necessary theorems
Sun, 08 Sep 2013 19:25:06 +0200 wenzelm updated exe -- more explicit icon;
Sun, 08 Sep 2013 18:37:42 +0200 wenzelm more official lib/logo/isabelle.bmp;
Sun, 08 Sep 2013 18:10:12 +0200 wenzelm use windows_app based on WinRun4J;
Sun, 08 Sep 2013 17:51:56 +0200 wenzelm updated to WinRun4J;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip