Wed, 12 Sep 2012 17:26:05 +0200 blanchet set up things for (co)induction sugar
Wed, 12 Sep 2012 17:26:05 +0200 blanchet tuning
Wed, 12 Sep 2012 17:26:05 +0200 blanchet added sumEN_tupled_balanced
Wed, 12 Sep 2012 16:54:24 +0200 wenzelm load fonts into JavaFX as well;
Wed, 12 Sep 2012 16:27:44 +0200 wenzelm some support for actual HTML rendering;
Wed, 12 Sep 2012 15:01:25 +0200 wenzelm merged
Wed, 12 Sep 2012 12:43:34 +0200 blanchet free variable name tuning
Wed, 12 Sep 2012 12:06:03 +0200 blanchet reuse generated names (they look better + slightly more efficient)
Wed, 12 Sep 2012 11:47:51 +0200 blanchet desambiguate grammar (e.g. for Nil's mixfix ("[]"))
Wed, 12 Sep 2012 11:39:05 +0200 blanchet avoided duplicate lemma
Wed, 12 Sep 2012 11:38:22 +0200 blanchet put an underscore between names, for compatibility with old package (and also because it makes sense)
Wed, 12 Sep 2012 10:36:00 +0200 blanchet got rid of metis calls
Wed, 12 Sep 2012 10:35:56 +0200 blanchet tuning
Wed, 12 Sep 2012 14:46:13 +0200 wenzelm removed obsolete argument "int" and thus made SML/NJ happy (cf. 03bee3a6a1b7);
Wed, 12 Sep 2012 13:56:49 +0200 wenzelm standardized ML aliases;
Wed, 12 Sep 2012 13:42:28 +0200 wenzelm tuned headers;
Wed, 12 Sep 2012 13:21:33 +0200 wenzelm avoid spaces in markup names, which might cause problems in boundary situations (e.g. HTML class);
Wed, 12 Sep 2012 12:09:40 +0200 wenzelm discontinued experiment with literal replacement text in PDF (cf. b646316f8b3c, 2ff10e613689);
Wed, 12 Sep 2012 11:38:23 +0200 wenzelm more robust interrupt handling;
Wed, 12 Sep 2012 11:28:34 +0200 wenzelm some attempts to synchronize ROOT/files and document/build;
Wed, 12 Sep 2012 11:14:44 +0200 wenzelm tuned error;
Wed, 12 Sep 2012 10:18:31 +0200 traytel option_pred characterization
Wed, 12 Sep 2012 09:39:41 +0200 traytel true vs. True in pattern matching
Wed, 12 Sep 2012 06:35:07 +0200 blanchet reduced theory dependencies
Wed, 12 Sep 2012 06:30:35 +0200 blanchet tuning
Wed, 12 Sep 2012 06:27:48 +0200 blanchet moved theorems closer to where they are used
Wed, 12 Sep 2012 06:27:36 +0200 blanchet tuning
Wed, 12 Sep 2012 05:29:21 +0200 blanchet renamed "Ordinals_and_Cardinals" to "Cardinals"
Wed, 12 Sep 2012 05:21:47 +0200 blanchet split basic BNFs into really basic ones and others, and added Andreas Lochbihler's "option" BNF
Wed, 12 Sep 2012 05:03:18 +0200 blanchet reorganized dependencies so that the sugar does not depend on GFP -- this will be essential for bootstrapping
Wed, 12 Sep 2012 02:06:31 +0200 blanchet tuning
Wed, 12 Sep 2012 02:05:06 +0200 blanchet tuning annotations
Wed, 12 Sep 2012 02:05:05 +0200 blanchet tuned antiquotations
Wed, 12 Sep 2012 02:05:04 +0200 blanchet tuning
Wed, 12 Sep 2012 02:05:03 +0200 blanchet tuning
Wed, 12 Sep 2012 00:55:11 +0200 blanchet added optional qualifiers for constructors and destructors, similarly to the old package
Wed, 12 Sep 2012 00:20:37 +0200 blanchet adapted example
Wed, 12 Sep 2012 00:20:37 +0200 blanchet added attributes to theorems
Tue, 11 Sep 2012 23:27:19 +0200 wenzelm merged
Tue, 11 Sep 2012 22:31:43 +0200 blanchet support for sort constraints in new (co)data commands
Tue, 11 Sep 2012 22:13:22 +0200 blanchet provide a programmatic interface for FP sugar
Tue, 11 Sep 2012 23:26:03 +0200 wenzelm some GUI support for color options;
Tue, 11 Sep 2012 22:59:25 +0200 wenzelm more precise sections;
Tue, 11 Sep 2012 22:54:12 +0200 wenzelm provide color values via options;
Tue, 11 Sep 2012 20:22:03 +0200 wenzelm prefer tuning parameters as public methods (again) -- to allow overriding in applications;
Tue, 11 Sep 2012 19:49:17 +0200 wenzelm updated keywords;
Tue, 11 Sep 2012 19:45:12 +0200 wenzelm merged
Tue, 11 Sep 2012 19:43:06 +0200 wenzelm tuned;
Tue, 11 Sep 2012 19:35:21 +0200 wenzelm more informative tooltip: default value;
Tue, 11 Sep 2012 19:19:39 +0200 wenzelm more options;
Tue, 11 Sep 2012 18:58:29 +0200 blanchet allow defaults for one datatype to involve the constructor of another one in the mutually recursive case
Tue, 11 Sep 2012 18:39:47 +0200 blanchet added "defaults" option
Tue, 11 Sep 2012 18:12:23 +0200 blanchet removed wrong "transpose" and ensure "sel" theorems are put in the right order (grouped per selector, in the order in which the selectors appear)
Tue, 11 Sep 2012 17:36:09 +0200 blanchet spin off "bnf_def_tactics.ML"
Tue, 11 Sep 2012 17:14:49 +0200 blanchet move "bnf_util.ML" to "BNF_Util.thy"
Tue, 11 Sep 2012 17:09:39 +0200 blanchet renamed "BNF_Library" to "BNF_Util"
Tue, 11 Sep 2012 17:06:27 +0200 blanchet generate all sel theorems
Tue, 11 Sep 2012 16:08:55 +0200 blanchet allow default values for selectors in low-level "wrap_data" command
Tue, 11 Sep 2012 16:08:27 +0200 blanchet removed needless "infer_types" call
Tue, 11 Sep 2012 14:51:52 +0200 blanchet added no_dests option
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip