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
-28
+28
+50
+100
+300
+1000
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.
misc tuning and clarification;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned website;
10 months ago, by Fabian Huch
proper parse (amending dd86d35375a7);
10 months ago, by Fabian Huch
allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
log and display components with empty (unknown) revisions to indicate that they are present;
10 months ago, by Fabian Huch
tuned log: omit previous changeset;
10 months ago, by Fabian Huch
take care of facts in cartouches
10 months ago, by nipkow
Simplified a few proofs
10 months ago, by paulson
tuned display;
10 months ago, by Fabian Huch
NEWS and CONTRIBUTORS;
10 months ago, by Fabian Huch
tuned HTML display of ANSI colors for better readability;
10 months ago, by Fabian Huch
render hg diff and log (on separate page);
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
store hg log in addition to diff;
10 months ago, by Fabian Huch
clarified names;
10 months ago, by Fabian Huch
tuned;
10 months ago, by Fabian Huch
NEWS: totalisation of ln
10 months ago, by paulson
merged
10 months ago, by paulson
Better multiplication and division rules for ln and log
10 months ago, by paulson
ignore error code for "isabelle worker" (in contrast to eff08c3f89fe): avoid confusing "failed to work" messages via Build_Cluster.start;
10 months ago, by wenzelm
disable old tests;
10 months ago, by wenzelm
added lemma image_mset_diff_if_inj
10 months ago, by desharna
added lemma minus_add_mset_if_not_in_lhs[simp]
10 months ago, by desharna
last-minute correction: no simprule for ln_minus
10 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
tip