Tue, 08 Aug 2017 22:33:21 +0200 wenzelm misc tuning and modernization;
Tue, 08 Aug 2017 22:13:05 +0200 wenzelm maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
Tue, 08 Aug 2017 12:21:29 +0200 wenzelm clarified signature;
Tue, 08 Aug 2017 11:49:35 +0200 wenzelm tuned;
Tue, 08 Aug 2017 13:31:48 +0200 eberlm Merged
Mon, 07 Aug 2017 15:10:37 +0200 eberlm Merged
Fri, 04 Aug 2017 18:03:50 +0200 eberlm Merged
Thu, 03 Aug 2017 13:35:28 +0200 eberlm Removed unnecessary constant 'ball' from Formal_Power_Series
Mon, 07 Aug 2017 21:43:33 +0200 wenzelm merged;
Mon, 07 Aug 2017 20:05:23 +0200 wenzelm more thorough Execution.join, under the assumption that nested Execution.fork only happens from given exed_ids;
Mon, 07 Aug 2017 15:13:21 +0200 wenzelm more synchronized Execution.snapshot;
Mon, 07 Aug 2017 14:06:24 +0200 wenzelm tuned spelling;
Mon, 07 Aug 2017 11:34:32 +0200 wenzelm tuned;
Mon, 07 Aug 2017 11:20:19 +0200 wenzelm tuned;
Mon, 07 Aug 2017 14:40:35 +0200 paulson merged
Mon, 07 Aug 2017 12:04:58 +0200 paulson more Henstock_Kurzweil_Integration cleanup
Mon, 07 Aug 2017 11:21:11 +0200 blanchet tuning imports
Mon, 07 Aug 2017 11:21:07 +0200 blanchet use TFF0 with E 2.0 and above
Mon, 07 Aug 2017 10:59:49 +0200 blanchet E 2.0 component
Mon, 07 Aug 2017 10:40:40 +0200 blanchet updated remote Vampire version
Sun, 06 Aug 2017 22:54:17 +0200 paulson merged
Sun, 06 Aug 2017 22:54:03 +0200 paulson more integration cleanups
Sun, 06 Aug 2017 21:49:25 +0200 bulwahn slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned
Sun, 06 Aug 2017 20:41:27 +0200 paulson merged
Sun, 06 Aug 2017 11:10:22 +0200 paulson further cleanup of "guess"
Sun, 06 Aug 2017 10:41:15 +0200 paulson towards a cleanup of Henstock_Kurzweil_Integration.thy
Sun, 06 Aug 2017 18:56:47 +0200 wenzelm merged
Sun, 06 Aug 2017 18:51:32 +0200 wenzelm proper check for active server;
Sun, 06 Aug 2017 17:42:04 +0200 wenzelm clarified signature;
Sun, 06 Aug 2017 17:38:54 +0200 wenzelm tuned signature;
Sun, 06 Aug 2017 17:32:32 +0200 wenzelm handle server connections;
Sun, 06 Aug 2017 13:35:03 +0200 wenzelm clarified database names;
Sun, 06 Aug 2017 13:29:38 +0200 wenzelm more options;
Sat, 05 Aug 2017 20:08:41 +0200 wenzelm support for resident Isabelle servers;
Sat, 05 Aug 2017 15:48:02 +0200 wenzelm default according to Java API, instead of jEdit usage;
Sun, 06 Aug 2017 15:02:54 +0200 haftmann do not fall back on nbe if plain evaluation fails
Sat, 05 Aug 2017 22:12:41 +0200 paulson final tidying up of lemma bounded_variation_absolutely_integrable_interval
Sat, 05 Aug 2017 18:16:35 +0200 paulson finally rid of finite_product_dependent
Sat, 05 Aug 2017 16:18:35 +0200 paulson more cleanup
Sat, 05 Aug 2017 12:18:25 +0200 paulson trying to disentangle bounded_variation_absolutely_integrable_interval
Fri, 04 Aug 2017 23:07:14 +0200 paulson merged
Fri, 04 Aug 2017 21:30:38 +0200 paulson more horrible proofs disentangled
Fri, 04 Aug 2017 08:13:00 +0200 haftmann tuned
Fri, 04 Aug 2017 08:12:58 +0200 haftmann more structural sharing between common target Generic_Target.init
Fri, 04 Aug 2017 08:12:57 +0200 haftmann exit always refers to the bottom of a nested local theory stack, after_close always to all non-bottom elements
Fri, 04 Aug 2017 08:12:54 +0200 haftmann treat exit separate from regular local theory operations
Fri, 04 Aug 2017 08:12:37 +0200 haftmann provide explicit variant initializers for regular named target vs. almost-named target
Fri, 04 Aug 2017 08:12:37 +0200 haftmann prefer explicit datatype over implicit sum;
Fri, 04 Aug 2017 08:12:37 +0200 haftmann compactified output
Thu, 03 Aug 2017 12:50:03 +0200 haftmann lifting setup for char
Thu, 03 Aug 2017 12:50:02 +0200 haftmann one single plugin for code type declarations avoids problems when bootstrapping new plugins over types which have been both declared concrete and abstract in their code historiy
Thu, 03 Aug 2017 12:50:01 +0200 haftmann uniform namespace handling for both concrete and abstract types, following 32e0da92c786
Thu, 03 Aug 2017 12:50:00 +0200 haftmann clarified
Thu, 03 Aug 2017 12:49:59 +0200 haftmann corrected slip
Thu, 03 Aug 2017 12:49:58 +0200 haftmann tuned
Thu, 03 Aug 2017 12:49:57 +0200 haftmann work around weakness in export calculation when generating OCaml code
Thu, 03 Aug 2017 12:49:55 +0200 haftmann tuned
Thu, 03 Aug 2017 23:43:17 +0200 blanchet pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
Thu, 03 Aug 2017 23:43:17 +0200 blanchet updated CVC4 component to official 1.5 release
Thu, 03 Aug 2017 23:06:36 +0200 paulson merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip