Wed, 23 Jul 2014 16:56:03 +0200 wenzelm more frugal edits;
Wed, 23 Jul 2014 16:20:07 +0200 wenzelm more explicit treatment of cleared nodes (removal is implicit);
Wed, 23 Jul 2014 15:32:05 +0200 wenzelm clarified display;
Wed, 23 Jul 2014 15:11:42 +0200 wenzelm more workarounds for scalac;
Wed, 23 Jul 2014 15:00:46 +0200 wenzelm clarified display;
Wed, 23 Jul 2014 14:50:20 +0200 wenzelm avoid redundant data structure;
Wed, 23 Jul 2014 13:01:30 +0200 wenzelm more explicit discrimination of empty nodes -- suppress from Theories panel;
Wed, 23 Jul 2014 11:53:34 +0200 wenzelm tuned;
Wed, 23 Jul 2014 11:22:56 +0200 wenzelm tuned comments;
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks;
Wed, 23 Jul 2014 11:08:24 +0200 wenzelm proper change of perspective for removed nodes (stemming from closed buffers);
Wed, 23 Jul 2014 10:02:19 +0200 wenzelm tuned signature;
Tue, 22 Jul 2014 22:18:50 +0200 wenzelm some robustification of console output;
Tue, 22 Jul 2014 20:03:52 +0200 wenzelm updated ErrorList.jar;
Tue, 22 Jul 2014 14:52:35 +0200 wenzelm discontinued presumable workarounds for extra inter-theory space, which are obsolete since 0e5fa27d3293;
Tue, 22 Jul 2014 14:36:31 +0200 wenzelm evade problems with MikTeX on Windows;
Tue, 22 Jul 2014 14:03:00 +0200 wenzelm tuned messages;
Tue, 22 Jul 2014 13:36:51 +0200 wenzelm support multiple selected print operations instead of slightly odd "menu";
Tue, 22 Jul 2014 12:05:53 +0200 wenzelm more default imports;
Tue, 22 Jul 2014 11:46:34 +0200 wenzelm no keyword completion within word context -- especially avoid its odd visual rendering;
Tue, 22 Jul 2014 08:07:47 +0200 Andreas Lochbihler merged
Mon, 21 Jul 2014 17:57:16 +0200 Andreas Lochbihler merged
Mon, 21 Jul 2014 17:51:29 +0200 Andreas Lochbihler add parametricity lemmas
Mon, 21 Jul 2014 17:51:11 +0200 Andreas Lochbihler add lemma
Mon, 21 Jul 2014 20:57:47 +0200 wenzelm merged
Mon, 21 Jul 2014 20:36:25 +0200 wenzelm refer to Simplifier Trace panel on first invocation;
Mon, 21 Jul 2014 17:39:20 +0200 wenzelm removed unused markup (cf. 2f7d91242b99);
Mon, 21 Jul 2014 17:37:22 +0200 wenzelm regular message to refer to Simplifier Trace panel (unused);
Mon, 21 Jul 2014 16:58:12 +0200 wenzelm proper Swing buttons instead of active areas within text (by Lars Hupel);
Mon, 21 Jul 2014 16:49:06 +0200 wenzelm misc tuning and simplification;
Mon, 21 Jul 2014 16:04:45 +0200 wenzelm clarified "simp_trace_new" and corresponding isar-ref section;
Mon, 21 Jul 2014 15:16:50 +0200 wenzelm more on "Simplifier trace" (by Lars Hupel);
Mon, 21 Jul 2014 14:24:10 +0200 wenzelm always complete explicit symbols;
Mon, 21 Jul 2014 13:50:26 +0200 wenzelm discontinued unfinished attempts at syntactic word context (see 2e1398b484aa, 08a1c860bc12, 7f229b0212fe) -- back to more basic completion of Isabelle2013-2;
Mon, 21 Jul 2014 12:25:54 +0200 wenzelm updated to jdk-7u65;
Mon, 21 Jul 2014 18:04:08 +0200 traytel regression test for datatypes defined in IsaFoR
Mon, 21 Jul 2014 15:23:57 +0200 kleing ghc mac installation repaired; test back on.
Sun, 20 Jul 2014 22:05:35 +0200 wenzelm proper condition wrt. ISABELLE_GHC (cf. 8840fa17e17c);
Sun, 20 Jul 2014 20:00:53 +0200 wenzelm updated to jdk-8u11 (inactive);
Sun, 20 Jul 2014 19:36:46 +0200 wenzelm avoid delay_load overrun;
Sun, 20 Jul 2014 17:54:01 +0200 wenzelm provide explicit options file -- avoid multiple Scala/JVM invocation;
Sun, 20 Jul 2014 17:21:14 +0200 wenzelm check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;
Sat, 19 Jul 2014 21:32:54 +0200 kleing attempt to run without ISABELLE_GHC setting again on mac-poly
Sat, 19 Jul 2014 21:20:38 +0200 kleing apparently, setting ISABELLE_GHC makes ghc unusable
Sat, 19 Jul 2014 18:30:43 +0200 haftmann reverse induction over nonempty lists
Sat, 19 Jul 2014 18:30:42 +0200 haftmann more appropriate postprocessing of rational numbers: extract sign to front of fraction
Sat, 19 Jul 2014 11:20:09 +0200 blanchet doc fixes (contributed by Christian Sternagel)
Sat, 19 Jul 2014 11:20:09 +0200 blanchet made SML/NJ happier
Fri, 18 Jul 2014 22:16:03 +0200 kleing avoid duplicate fact name
Fri, 18 Jul 2014 21:40:11 +0200 kleing afp-poly runs on macbroy2 (different ghc)
Fri, 18 Jul 2014 14:21:42 +0200 nipkow reinstated popular add_ac and mult_ac to avoid needless incompatibilities in user space
Fri, 18 Jul 2014 14:03:09 +0200 nipkow tuned
Thu, 17 Jul 2014 14:55:56 +0200 hoelzl register tree with datatype_compat ot support QuickCheck
Thu, 17 Jul 2014 10:29:09 +0200 desharna fix bug caused by bad context
Thu, 17 Jul 2014 10:28:32 +0200 desharna add mk_Trueprop_mem utility function
Wed, 16 Jul 2014 17:57:27 +0200 blanchet disabled MaSh for the Isabelle2014 release, due to a couple of issues
Wed, 16 Jul 2014 10:22:06 +0200 desharna refactor commonly used functions
Wed, 16 Jul 2014 10:13:38 +0200 desharna document property 'rel_sel'
Wed, 16 Jul 2014 10:13:00 +0200 desharna generate 'rel_sel' theorem for (co)datatypes
Wed, 16 Jul 2014 10:11:25 +0200 desharna fix rel_cases
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip