Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL);
2012-12-06, by wenzelm
avoid startup within GUI thread -- it is only required later for dialog;
2012-12-06, by wenzelm
more uniform default logic, using settings, options, args etc.;
2012-12-06, by wenzelm
use right names in MePo exporter
2012-12-06, by blanchet
parse more liberal MaSh suggestion syntax (for the eval driver)
2012-12-06, by blanchet
merged
2012-12-06, by wenzelm
made Python code compile again (by Daniel K.)
2012-12-06, by blanchet
tweaked MaSh proximity
2012-12-06, by blanchet
reduce max number of dependencies for MaSh to get rid of junk
2012-12-06, by blanchet
more feature tweaks
2012-12-06, by blanchet
prioritize chained facts
2012-12-06, by blanchet
more MaSh feature tweaking
2012-12-06, by blanchet
record free variables as a MaSh feature
2012-12-06, by blanchet
expand type classes into their ancestors for MaSh
2012-12-06, by blanchet
tweaked MaSh features, based on comments by Josef Urban
2012-12-06, by blanchet
increase weight of local facts again (MaSh)
2012-12-06, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
+3000
+10000
+30000
tip