Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 20 Apr 2010 17:07:53 +0200 recovered isabelle java, which was broken in ebfa4bb0d50f;
changeset
wenzelm [Tue, 20 Apr 2010 17:07:53 +0200] rev 36238
recovered isabelle java, which was broken in ebfa4bb0d50f;
Tue, 20 Apr 2010 16:14:45 +0200 fix bug in SPASS's DFG output files, where "tc_bool" wasn't declared;
changeset
blanchet [Tue, 20 Apr 2010 16:14:45 +0200] rev 36237
fix bug in SPASS's DFG output files, where "tc_bool" wasn't declared; this bug occurs when the explicit "hAPP" or "hBOOL" functions are introduced and full types is activated
Tue, 20 Apr 2010 16:04:49 +0200 merged
changeset
blanchet [Tue, 20 Apr 2010 16:04:49 +0200] rev 36236
merged
Tue, 20 Apr 2010 16:04:36 +0200 added "explicit_apply" option to Sledgehammer, to control whether an explicit apply function should be used as much or as little as possible (replaces a previous global variable)
changeset
blanchet [Tue, 20 Apr 2010 16:04:36 +0200] rev 36235
added "explicit_apply" option to Sledgehammer, to control whether an explicit apply function should be used as much or as little as possible (replaces a previous global variable)
Tue, 20 Apr 2010 14:39:42 +0200 merge
changeset
blanchet [Tue, 20 Apr 2010 14:39:42 +0200] rev 36234
merge
Mon, 19 Apr 2010 19:41:30 +0200 cosmetics
changeset
blanchet [Mon, 19 Apr 2010 19:41:30 +0200] rev 36233
cosmetics
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle