Wed, 11 Sep 2013 18:32:43 +0200 blanchet more (co)data docs
Wed, 11 Sep 2013 17:17:58 +0200 blanchet more (co)data docs
Wed, 11 Sep 2013 16:55:01 +0200 blanchet more (co)data docs
Wed, 11 Sep 2013 16:16:45 +0200 wenzelm merged
Wed, 11 Sep 2013 15:54:53 +0200 wenzelm prefer explicit type constraint (again, see also Type.appl_error);
Wed, 11 Sep 2013 15:42:05 +0200 wenzelm tuned signature;
Wed, 11 Sep 2013 15:30:12 +0200 wenzelm tuned whitespace;
Wed, 11 Sep 2013 15:25:51 +0200 wenzelm tuned message;
Wed, 11 Sep 2013 14:23:06 +0200 wenzelm do not expose internal flags to attribute name space;
Wed, 11 Sep 2013 15:49:39 +0200 blanchet more (co)data docs
Wed, 11 Sep 2013 15:22:43 +0200 blanchet more (co)datatype documentation
Wed, 11 Sep 2013 14:07:24 +0200 blanchet tuning
Wed, 11 Sep 2013 14:07:24 +0200 blanchet disable some checks for huge background theories
Wed, 11 Sep 2013 14:07:24 +0200 blanchet tuning
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip