wenzelm [Sat, 10 Sep 2011 20:39:13 +0200] rev 44867
stronger colors (as background);
wenzelm [Sat, 10 Sep 2011 20:22:22 +0200] rev 44866
some color scheme for theory status;
wenzelm [Sat, 10 Sep 2011 16:30:08 +0200] rev 44865
some keyboard shortcuts for important actions;
proper label properties, which are also required for jEdit "Shortcuts" options panel;
wenzelm [Sat, 10 Sep 2011 14:48:06 +0200] rev 44864
explicit jEdit actions -- to enable key mappings, for example;
wenzelm [Sat, 10 Sep 2011 14:28:07 +0200] rev 44863
more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
wenzelm [Sat, 10 Sep 2011 13:43:09 +0200] rev 44862
tuned usage;
wenzelm [Sat, 10 Sep 2011 13:41:03 +0200] rev 44861
simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
haftmann [Sat, 10 Sep 2011 10:29:24 +0200] rev 44860
renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc.
blanchet [Sat, 10 Sep 2011 00:44:25 +0200] rev 44859
fixed definition of type intersection (soundness bug)
blanchet [Sat, 10 Sep 2011 00:44:25 +0200] rev 44858
continue with minimization in debug mode in spite of unsoundness
huffman [Fri, 09 Sep 2011 09:31:04 -0700] rev 44857
generalize lemma of_nat_number_of_eq to class number_semiring
bulwahn [Fri, 09 Sep 2011 15:14:59 +0200] rev 44856
merged
bulwahn [Fri, 09 Sep 2011 14:43:50 +0200] rev 44855
stating more explicitly our expectation that these two terms have the same term structure
bulwahn [Fri, 09 Sep 2011 12:33:09 +0200] rev 44854
revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
blanchet [Fri, 09 Sep 2011 14:30:57 +0200] rev 44853
made SML/NJ happy
noschinl [Thu, 08 Sep 2011 12:23:11 +0200] rev 44852
call ghc with -XEmptyDataDecls