Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(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
.
2015-12-28
wenzelm
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
changeset
|
files
2015-12-28
wenzelm
more symbols;
changeset
|
files
2015-12-28
wenzelm
use symbols by default;
changeset
|
files
2015-12-28
wenzelm
prefer symbols for "Union", "Inter";
changeset
|
files
2015-12-28
wenzelm
clarified position information;
changeset
|
files
2015-12-28
wenzelm
suppress irrelevant position reports;
changeset
|
files
2015-12-28
wenzelm
suppress irrelevant position reports;
changeset
|
files
2015-12-28
wenzelm
tuned;
changeset
|
files
2015-12-28
wenzelm
more position information;
changeset
|
files
2015-12-27
haftmann
put example into separate session, to restrict precious session image to library theories
changeset
|
files
2015-12-28
wenzelm
more symbols;
changeset
|
files
2015-12-28
wenzelm
prefer symbols for "abs";
changeset
|
files
2015-12-27
wenzelm
discontinued ASCII replacement syntax <*>;
changeset
|
files
2015-12-27
wenzelm
prefer symbols for "floor", "ceiling";
changeset
|
files
2015-12-27
wenzelm
discontinued ASCII replacement syntax <->;
changeset
|
files
2015-12-27
wenzelm
more symbols;
changeset
|
files
2015-12-27
wenzelm
tuned document;
changeset
|
files
2015-12-27
wenzelm
more proofs;
changeset
|
files
2015-12-27
wenzelm
tuned;
changeset
|
files
2015-12-26
wenzelm
more notation;
changeset
|
files
2015-12-26
wenzelm
clarified sessions;
changeset
|
files
2015-12-26
wenzelm
tuned;
changeset
|
files
2015-12-26
wenzelm
isabelle update_cartouches -c -t;
changeset
|
files
2015-12-26
wenzelm
misc tuning and modernization;
changeset
|
files
2015-12-26
wenzelm
more proofs, more text;
changeset
|
files
2015-12-26
wenzelm
modernized example;
changeset
|
files
2015-12-24
haftmann
tuned proofs and augmented lemmas
changeset
|
files
2015-12-24
haftmann
tuned proof
changeset
|
files
2015-12-23
wenzelm
less ambitious test;
changeset
|
files
2015-12-23
wenzelm
tuned;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip