Sat, 01 Dec 2012 22:47:03 +0100 wenzelm updated to jedit_build-20121201 (based on jedit-5.0.0);
Sat, 01 Dec 2012 22:42:54 +0100 wenzelm moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap;
Sat, 01 Dec 2012 22:23:42 +0100 wenzelm leave ALTERNATIVE_DISPATCHER mostly enabled on Mac OS X, to get events for COMMAND/Meta combinations, which seem to produce only KEY_PRESSED in Java 7, not KEY_TYPED as in Java 6;
Sat, 01 Dec 2012 19:51:43 +0100 wenzelm updated to jedit-5.0.0;
Sat, 01 Dec 2012 17:23:50 +0100 wenzelm more generic directory name to facilitate tracking changes of diffs;
Fri, 30 Nov 2012 23:06:11 +0100 wenzelm merged
Fri, 30 Nov 2012 17:12:01 +0100 nipkow tuned
Fri, 30 Nov 2012 22:55:02 +0100 wenzelm added 'print_inductives' command;
Fri, 30 Nov 2012 22:38:06 +0100 wenzelm print formal entities with markup;
Fri, 30 Nov 2012 21:47:44 +0100 wenzelm tuned labels;
Fri, 30 Nov 2012 21:30:24 +0100 wenzelm renamed dockable "Prover Session" to "Theories";
Fri, 30 Nov 2012 21:28:35 +0100 wenzelm tuned import;
Fri, 30 Nov 2012 17:53:32 +0100 wenzelm alternative shortcut for English keyboard;
Fri, 30 Nov 2012 16:34:37 +0100 wenzelm merged
Fri, 30 Nov 2012 15:36:51 +0100 wenzelm eliminated redundant is_ident -- more official is_identifier;
Fri, 30 Nov 2012 16:34:11 +0100 wenzelm updated to jdk-7u9;
Fri, 30 Nov 2012 15:24:01 +0100 wenzelm updated to exec_process-1.0.3;
Fri, 30 Nov 2012 15:05:51 +0100 wenzelm report proper pid *after* fork;
Fri, 30 Nov 2012 10:42:54 +0100 wenzelm prefer Symbol.decode_strict in batch mode, to avoid files with spurious Unicode symbols that clash with Isabelle symbol interpretation;
Thu, 29 Nov 2012 23:12:50 +0100 wenzelm more defensive retry via fork;
Thu, 29 Nov 2012 18:05:41 +0100 wenzelm merged
Thu, 29 Nov 2012 17:54:20 +0100 kuncar parametrized correspondence relation: more robust procedure - don't ignore sorts; tuned
Thu, 29 Nov 2012 17:12:51 +0100 wenzelm simplified use of fold/map;
Thu, 29 Nov 2012 16:59:53 +0100 wenzelm tuned;
Thu, 29 Nov 2012 16:52:13 +0100 wenzelm prefer 32 bit platform for ISABELLE_FULL_TEST, to make memory problems more explicit instead of disk thrashing (notably in HOL-Quickcheck_Benchmark);
Thu, 29 Nov 2012 14:29:29 +0100 wenzelm merged
Thu, 29 Nov 2012 09:59:20 +0100 hoelzl make SML/NJ happy (give names for all fields in a record)
Thu, 29 Nov 2012 14:05:53 +0100 wenzelm more robust syntax that survives collapse of \<^isub> and \<^sub>;
Thu, 29 Nov 2012 10:56:59 +0100 wenzelm further update and clarification of the all-important README_REPOSITORY;
Thu, 29 Nov 2012 10:45:25 +0100 wenzelm more uniform ML statistics;
Wed, 28 Nov 2012 19:19:39 +0100 wenzelm merged
Wed, 28 Nov 2012 12:25:43 +0100 smolkas improved readability
Wed, 28 Nov 2012 12:25:43 +0100 smolkas tweaked calculation of sledgehammer messages
Wed, 28 Nov 2012 12:25:43 +0100 smolkas adapted sledgehammer warnings
Wed, 28 Nov 2012 12:25:43 +0100 smolkas fixed case split preplaying
Wed, 28 Nov 2012 12:25:43 +0100 smolkas fixed preplaying of case splits; incorperated new name of structure: Isabelle_Markup -> Markup
Wed, 28 Nov 2012 12:25:43 +0100 smolkas preplay case splits
Wed, 28 Nov 2012 12:25:43 +0100 smolkas added warning when shrinking proof without preplaying
Wed, 28 Nov 2012 12:25:43 +0100 smolkas deal with the case that metis does not time out, but fails instead
Wed, 28 Nov 2012 12:25:43 +0100 smolkas reapplied changes to make SML/NJ happy
Wed, 28 Nov 2012 12:25:43 +0100 smolkas renaming, minor tweaks, added signature
Wed, 28 Nov 2012 12:25:43 +0100 smolkas added signature
Wed, 28 Nov 2012 12:25:43 +0100 smolkas moved thms_of_name to Sledgehammer_Util and removed copies, updated references
Wed, 28 Nov 2012 12:25:43 +0100 smolkas removed duplicate decleration
Wed, 28 Nov 2012 12:25:43 +0100 smolkas made use of sledgehammer_util
Wed, 28 Nov 2012 12:25:43 +0100 smolkas renamed sledgehammer_isar_reconstruct to sledgehammer_proof
Wed, 28 Nov 2012 12:25:43 +0100 smolkas added comments to new source files
Wed, 28 Nov 2012 12:25:43 +0100 smolkas fixed problem with fact names
Wed, 28 Nov 2012 12:25:06 +0100 smolkas remove hack and generalize code slightly
Wed, 28 Nov 2012 12:23:44 +0100 smolkas simplified isar_qualifiers and qs merging
Wed, 28 Nov 2012 12:22:17 +0100 smolkas put shrink in own structure
Wed, 28 Nov 2012 12:22:05 +0100 smolkas put annotate in own structure
Wed, 28 Nov 2012 12:21:42 +0100 smolkas support assumptions as facts for preplaying
Wed, 28 Nov 2012 12:20:06 +0100 smolkas some minor improvements in shrink_proof
Wed, 28 Nov 2012 17:18:53 +0100 wenzelm some support for ML runtime statistics;
Wed, 28 Nov 2012 16:09:05 +0100 wenzelm prefer tight Markup.print_int/parse_int for property values;
Wed, 28 Nov 2012 16:07:17 +0100 wenzelm clarified new identifier syntax: exclude \<^isup>, include subscripted prime (to allow imitating full identifier here);
Wed, 28 Nov 2012 15:59:18 +0100 wenzelm eliminated slightly odd identifiers;
Wed, 28 Nov 2012 15:38:12 +0100 wenzelm tuned syntax, potentially more robust;
Wed, 28 Nov 2012 14:55:46 +0100 wenzelm smarter list layout;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip