Tue, 01 Oct 2013 14:29:27 +0200 blanchet minor textual changes
Tue, 01 Oct 2013 14:13:24 +0200 blanchet got rid of dead feature
Tue, 01 Oct 2013 14:05:25 +0200 blanchet refactoring -- splitting between constructor sugar dependencies and true BNF dependencies
Tue, 01 Oct 2013 14:05:25 +0200 blanchet renamed ML files
Tue, 01 Oct 2013 14:05:25 +0200 blanchet renamed theory file
Tue, 01 Oct 2013 12:53:24 +0200 wenzelm tuned signature -- facilitate experimentation with other processes;
Mon, 30 Sep 2013 22:01:46 +0900 Christian Sternagel preserve types during rewriting
Mon, 30 Sep 2013 22:36:43 +0200 blanchet made SML/NJ happy
Mon, 30 Sep 2013 18:08:35 +0200 blanchet made SML/NJ happy
Mon, 30 Sep 2013 17:53:44 +0200 blanchet made SML/NJ happier
Mon, 30 Sep 2013 17:47:50 +0200 blanchet added experimental configuration options to tune use of builtin symbols in SMT
Mon, 30 Sep 2013 16:28:54 +0200 blanchet added possibility to reset builtins (for experimentation)
Mon, 30 Sep 2013 16:07:56 +0200 blanchet just one data slot (record) per program unit
Mon, 30 Sep 2013 15:10:18 +0200 blanchet more "primrec_new" documentation
Mon, 30 Sep 2013 14:19:33 +0200 wenzelm merged
Mon, 30 Sep 2013 14:17:27 +0200 wenzelm tuned signature;
Mon, 30 Sep 2013 13:45:17 +0200 wenzelm eliminated clone of Inductive.mk_cases_tac;
Mon, 30 Sep 2013 13:35:05 +0200 wenzelm tuned signature;
Mon, 30 Sep 2013 13:29:09 +0200 wenzelm tuned whitespace;
Mon, 30 Sep 2013 13:20:44 +0200 wenzelm provide regular ML interface and use plain Syntax.read_prop/Syntax.check_prop (update by Manuel Eberl);
Mon, 30 Sep 2013 14:04:26 +0200 blanchet merge
Mon, 30 Sep 2013 13:59:07 +0200 blanchet minor tweak to error message
Mon, 30 Sep 2013 11:20:24 +0200 wenzelm tuned;
Sun, 29 Sep 2013 18:51:01 +0200 wenzelm explicit caret position after replacement;
Sun, 29 Sep 2013 16:01:22 +0200 haftmann tuned proofs
Sun, 29 Sep 2013 14:07:47 +0200 wenzelm observe user preferences;
Sun, 29 Sep 2013 13:53:16 +0200 wenzelm updated for release;
Sun, 29 Sep 2013 12:56:50 +0200 wenzelm tuned;
Sun, 29 Sep 2013 12:49:47 +0200 wenzelm tuned;
Sun, 29 Sep 2013 12:44:40 +0200 wenzelm more on text completion;
Sun, 29 Sep 2013 12:21:11 +0200 wenzelm made SML/NJ happy (NB: toplevel ML environment is unmanaged);
Sun, 29 Sep 2013 12:18:47 +0200 wenzelm updated for release;
Sun, 29 Sep 2013 12:17:02 +0200 wenzelm updated for release;
Sun, 29 Sep 2013 11:59:01 +0200 wenzelm updated to sumatra_pdf-2.3.2;
Sun, 29 Sep 2013 11:21:02 +0200 wenzelm low-priority print task is always asynchronous -- relevant for single-core machine and automatically tried tools;
Sun, 29 Sep 2013 00:15:05 +0200 wenzelm backout c6297fa1031a -- strange parsers are required to make this work;
Sat, 28 Sep 2013 22:47:17 +0200 wenzelm make SML/NJ more happy;
Sat, 28 Sep 2013 20:24:13 +0200 wenzelm enforce IsabelleText font for better symbol coverage, especially on Windows;
Sat, 28 Sep 2013 16:36:17 +0200 wenzelm proper wrapper for parser -- more explicit error;
Sat, 28 Sep 2013 16:10:26 +0200 wenzelm misc tuning for release;
Sat, 28 Sep 2013 15:36:14 +0200 wenzelm remove remains from WinRun4J;
Sat, 28 Sep 2013 14:41:46 +0200 wenzelm proper document markup;
Sat, 28 Sep 2013 14:36:04 +0200 wenzelm uniform $ISABELLE_HOME on all platforms;
Sat, 28 Sep 2013 13:50:38 +0200 wenzelm simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
Sat, 28 Sep 2013 13:40:33 +0200 wenzelm update second environment that is used for System.getenv(String);
Sat, 28 Sep 2013 12:55:33 +0200 wenzelm adhoc update of JVM environment variables, which is relevant for cold start of jEdit;
Fri, 27 Sep 2013 21:54:55 +0200 kuncar tuned names
Fri, 27 Sep 2013 21:54:55 +0200 kuncar fold and lemmas about cardinality
Fri, 27 Sep 2013 21:04:57 +0200 wenzelm more robust parser: 'imports' are mandatory except for bootstrapping Pure;
Fri, 27 Sep 2013 20:13:35 +0200 blanchet one more unfolding necessary
Fri, 27 Sep 2013 19:30:49 +0200 blanchet faster exit in common case
Fri, 27 Sep 2013 17:57:45 +0200 nipkow merged
Fri, 27 Sep 2013 17:57:30 +0200 nipkow hide coercion
Fri, 27 Sep 2013 17:39:34 +0200 blanchet fixed one line that would never have compiled in a typed language + release the lock in case of exceptions
Fri, 27 Sep 2013 17:20:02 +0200 nipkow merged
Fri, 27 Sep 2013 16:48:47 +0200 nipkow added Bleast code eqns for RBT
Fri, 27 Sep 2013 15:38:23 +0200 nipkow added code eqns for bounded LEAST operator
Fri, 27 Sep 2013 14:43:26 +0200 kuncar new theory of finite sets as a subtype
Fri, 27 Sep 2013 14:43:26 +0200 kuncar new parametricity rules and useful lemmas
Fri, 27 Sep 2013 14:43:26 +0200 kuncar allow to specify multiple parametricity transfer rules in lift_definition
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip