Thu, 06 Dec 2012 16:07:09 +0100 use right names in MePo exporter
blanchet [Thu, 06 Dec 2012 16:07:09 +0100] rev 50402
use right names in MePo exporter
Thu, 06 Dec 2012 15:54:17 +0100 parse more liberal MaSh suggestion syntax (for the eval driver)
blanchet [Thu, 06 Dec 2012 15:54:17 +0100] rev 50401
parse more liberal MaSh suggestion syntax (for the eval driver)
Thu, 06 Dec 2012 11:42:23 +0100 merged
wenzelm [Thu, 06 Dec 2012 11:42:23 +0100] rev 50400
merged
Thu, 06 Dec 2012 11:27:44 +0100 made Python code compile again (by Daniel K.)
blanchet [Thu, 06 Dec 2012 11:27:44 +0100] rev 50399
made Python code compile again (by Daniel K.)
Thu, 06 Dec 2012 11:25:10 +0100 tweaked MaSh proximity
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50398
tweaked MaSh proximity
Thu, 06 Dec 2012 11:25:10 +0100 reduce max number of dependencies for MaSh to get rid of junk
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50397
reduce max number of dependencies for MaSh to get rid of junk
Thu, 06 Dec 2012 11:25:10 +0100 more feature tweaks
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50396
more feature tweaks
Thu, 06 Dec 2012 11:25:10 +0100 prioritize chained facts
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50395
prioritize chained facts
Thu, 06 Dec 2012 11:25:10 +0100 more MaSh feature tweaking
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50394
more MaSh feature tweaking
Thu, 06 Dec 2012 11:25:10 +0100 record free variables as a MaSh feature
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50393
record free variables as a MaSh feature
Thu, 06 Dec 2012 11:25:10 +0100 expand type classes into their ancestors for MaSh
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50392
expand type classes into their ancestors for MaSh
Thu, 06 Dec 2012 11:25:10 +0100 tweaked MaSh features, based on comments by Josef Urban
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50391
tweaked MaSh features, based on comments by Josef Urban
Thu, 06 Dec 2012 11:25:10 +0100 increase weight of local facts again (MaSh)
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50390
increase weight of local facts again (MaSh)
Thu, 06 Dec 2012 11:25:10 +0100 simplify code now that "mash.py" supports weights
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50389
simplify code now that "mash.py" supports weights
Thu, 06 Dec 2012 11:25:10 +0100 added weights to MaSh (by Daniel Kuehlwein)
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50388
added weights to MaSh (by Daniel Kuehlwein)
Wed, 05 Dec 2012 15:59:08 +0100 Move the measurability prover to its own file
hoelzl [Wed, 05 Dec 2012 15:59:08 +0100] rev 50387
Move the measurability prover to its own file
Wed, 05 Dec 2012 15:58:48 +0100 Show search depth in the debug output of the measurability prover
hoelzl [Wed, 05 Dec 2012 15:58:48 +0100] rev 50386
Show search depth in the debug output of the measurability prover
Wed, 05 Dec 2012 15:58:45 +0100 Remove looping rule from measurability prover
hoelzl [Wed, 05 Dec 2012 15:58:45 +0100] rev 50385
Remove looping rule from measurability prover
Tue, 04 Dec 2012 20:44:18 +0100 rules for improper Lebesgue integrals (using tendsto at_top)
hoelzl [Tue, 04 Dec 2012 20:44:18 +0100] rev 50384
rules for improper Lebesgue integrals (using tendsto at_top)
Wed, 05 Dec 2012 13:25:06 +0100 take proximity into account for MaSh + fix a debilitating bug in feature generation
blanchet [Wed, 05 Dec 2012 13:25:06 +0100] rev 50383
take proximity into account for MaSh + fix a debilitating bug in feature generation
Wed, 05 Dec 2012 13:25:06 +0100 tuning
blanchet [Wed, 05 Dec 2012 13:25:06 +0100] rev 50382
tuning
Thu, 06 Dec 2012 11:37:02 +0100 clarified default button (cf. org/gjt/sp/jedit/gui/OptionsDialog.java);
wenzelm [Thu, 06 Dec 2012 11:37:02 +0100] rev 50381
clarified default button (cf. org/gjt/sp/jedit/gui/OptionsDialog.java);
Wed, 05 Dec 2012 22:25:15 +0100 select logic session names, not paths;
wenzelm [Wed, 05 Dec 2012 22:25:15 +0100] rev 50380
select logic session names, not paths;
Wed, 05 Dec 2012 21:13:50 +0100 added keyboard shortcut for button (canonical way to do that?);
wenzelm [Wed, 05 Dec 2012 21:13:50 +0100] rev 50379
added keyboard shortcut for button (canonical way to do that?);
Wed, 05 Dec 2012 20:43:02 +0100 evade ugly default font, notably on Windows laf;
wenzelm [Wed, 05 Dec 2012 20:43:02 +0100] rev 50378
evade ugly default font, notably on Windows laf;
Wed, 05 Dec 2012 20:24:49 +0100 center main window;
wenzelm [Wed, 05 Dec 2012 20:24:49 +0100] rev 50377
center main window;
Wed, 05 Dec 2012 19:46:47 +0100 more direct dialog via existing GUI components;
wenzelm [Wed, 05 Dec 2012 19:46:47 +0100] rev 50376
more direct dialog via existing GUI components;
Wed, 05 Dec 2012 19:25:57 +0100 clarified logic argument: session name, not path name;
wenzelm [Wed, 05 Dec 2012 19:25:57 +0100] rev 50375
clarified logic argument: session name, not path name; tuned;
Wed, 05 Dec 2012 19:08:23 +0100 tuned message;
wenzelm [Wed, 05 Dec 2012 19:08:23 +0100] rev 50374
tuned message;
Wed, 05 Dec 2012 18:09:38 +0100 implicit build_dialog for Isabelle/jEdit;
wenzelm [Wed, 05 Dec 2012 18:09:38 +0100] rev 50373
implicit build_dialog for Isabelle/jEdit; clarified option -l: refer to session name, not image path;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip