Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
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.
more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties);
2015-05-08, by wenzelm
use display_graph_old for locale_deps, to show a bit more than nothing for cyclic graphs;
2015-05-07, by wenzelm
no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;
2015-05-07, by wenzelm
updated screenshot;
2015-05-06, by wenzelm
tuned;
2015-05-06, by wenzelm
less confusing default;
2015-05-06, by wenzelm
proper bib entry;
2015-05-06, by wenzelm
prevent incoherent default in SideKick 1.7;
2015-05-06, by wenzelm
corrected path in doc
2015-05-06, by blanchet
tuned;
2015-05-05, by wenzelm
more documentation;
2015-05-05, by wenzelm
more portable mkdirs via perl, e.g. relevant for Windows UNC paths (network shares);
2015-05-05, by wenzelm
Added tag Isabelle2015-RC3 for changeset e0c3e11e9bea
2015-05-04, by wenzelm
tuned;
2015-05-04, by wenzelm
CONTRIBUTORS
2015-05-04, by kuncar
update isar-ref on Lifting
2015-05-04, by kuncar
NEWS
2015-05-04, by kuncar
tuned;
2015-05-04, by wenzelm
more on GTK;
2015-05-04, by wenzelm
more on Isabelle document preparation and bibtex files;
2015-05-04, by wenzelm
tuned spelling;
2015-05-04, by wenzelm
updated screenshot;
2015-05-03, by wenzelm
improved one-line preplaying (don't rely on 'using x by simp' to mean 'by (simp add: x)' and beware of inaccessible '(local.)this')
2015-05-03, by blanchet
made split-rule tactic go beyond constructors with 20 arguments
2015-05-03, by blanchet
proper fold painter according to jEdit options, not the hardwired default of JEditEmbeddedTextArea;
2015-05-03, by wenzelm
tuned output to resemble input syntax more closely;
2015-05-03, by wenzelm
updated Eisbach, using version fb741500f533 of its Bitbucket repository;
2015-05-03, by wenzelm
proper header;
2015-05-03, by wenzelm
tuned output;
2015-05-03, by wenzelm
tuned output;
2015-05-03, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip