blanchet [Wed, 12 Dec 2012 00:24:06 +0100] rev 50484
adopt the neutral "prover" terminology for MaSh rather than the ambiguous/wrong ATP terminology (which sometimes excludes SMT solvers)
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50483
better name for SMT solver files
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50482
updated version of MaSh learner engine
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50481
push normalization further -- avoid theorems that are duplicates of each other except for equality symmetry (esp. for "list.distinct(1)" vs. "(2)" etc.)
wenzelm [Tue, 11 Dec 2012 22:19:39 +0100] rev 50480
disable Find_Unused_Assms_Examples for now, to recover isatest sanity;
wenzelm [Tue, 11 Dec 2012 22:16:23 +0100] rev 50479
less massive arrow heads;
wenzelm [Tue, 11 Dec 2012 22:09:22 +0100] rev 50478
added explicit zoom box;
wenzelm [Tue, 11 Dec 2012 21:55:56 +0100] rev 50477
some attempts at more discrete scale factor;
wenzelm [Tue, 11 Dec 2012 21:28:37 +0100] rev 50476
more official graphics context with font metrics;
wenzelm [Tue, 11 Dec 2012 21:05:38 +0100] rev 50475
just one class with parameters;
wenzelm [Tue, 11 Dec 2012 12:17:20 +0100] rev 50474
initial layout coordinates more like old browser;
tuned geometry defaults;
wenzelm [Tue, 11 Dec 2012 10:35:42 +0100] rev 50473
added speculative options for jEdit;