Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
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.
merged
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
more robust;
21 months ago, by wenzelm
clarified signature: more position information via node_name;
21 months ago, by wenzelm
tuned signature: avoid name confusion;
21 months ago, by wenzelm
more bibtex errors;
21 months ago, by wenzelm
clarified signature: internalize errors (but: the parser rarely fails);
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature: more explicit types;
21 months ago, by wenzelm
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
21 months ago, by wenzelm
merged
21 months ago, by desharna
removed old lemma names
21 months ago, by desharna
merged
21 months ago, by paulson
merged
21 months ago, by paulson
A few new Sup/Inf lemmas
21 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
tip