Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+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.
Fixed disambiguation of names (cf. 5759ecd5c905)
2012-05-11, by berghofe
merged
2012-05-10, by wenzelm
file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation;
2012-05-10, by wenzelm
prefer absolute paths, to allow launching from a different context (e.g. via file associations);
2012-05-10, by wenzelm
tweaked Inductive.prove_eqs to allow degenerate definition like "inductive TRUE where TRUE";
2012-05-10, by wenzelm
allow spaces in target directory;
2012-05-09, by wenzelm
Added tag Isabelle2012-RC2 for changeset 1636ff4c6243
2012-05-07, by wenzelm
init Cygwin after unpacking;
2012-05-07, by wenzelm
tuned proofs;
2012-05-06, by wenzelm
more accurate ROOT.ML;
2012-05-06, by wenzelm
prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;
2012-05-06, by wenzelm
some highlights of Isabelle2012;
2012-05-05, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
+10000
+30000
tip