Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2001-09-27
wenzelm
Square roots of primes are irrational;
changeset
|
files
2001-09-27
wenzelm
AddXIs [dvdI]; AddXEs [dvdE];
changeset
|
files
2001-09-27
wenzelm
tuned;
changeset
|
files
2001-09-27
wenzelm
tuned;
changeset
|
files
2001-09-27
wenzelm
tuned;
changeset
|
files
2001-09-27
wenzelm
AddXEs [UnI1, UnI2];
changeset
|
files
2001-09-27
wenzelm
AddXEs [disjI1, disjI2];
changeset
|
files
2001-09-27
wenzelm
ex/Hilbert_Classical.thy ex/document/root.tex;
changeset
|
files
2001-09-27
wenzelm
tuned;
changeset
|
files
2001-09-27
wenzelm
document setup;
changeset
|
files
2001-09-27
wenzelm
derive tertium-non-datur by means of Hilbert's choice operator;
changeset
|
files
2001-09-27
wenzelm
obsolete;
changeset
|
files
2001-09-27
wenzelm
updated;
changeset
|
files
2001-09-27
wenzelm
-v option;
changeset
|
files
2001-09-27
wenzelm
verbose option;
changeset
|
files
2001-09-27
wenzelm
use_dir: verbose option;
changeset
|
files
2001-09-27
wenzelm
removed option -d (now standard behaviour);
changeset
|
files
2001-09-27
wenzelm
option -v;
changeset
|
files
2001-09-26
wenzelm
activate default ISABELLE_USEDIR_OPTIONS for precompiled distribution;
changeset
|
files
2001-09-26
wenzelm
updated;
changeset
|
files
2001-09-26
wenzelm
tuned order;
changeset
|
files
2001-09-26
wenzelm
bold symbols;
changeset
|
files
2001-09-26
wenzelm
tuned;
changeset
|
files
2001-09-26
wenzelm
turn bullet into bold cdot (looks much better in printed output);
changeset
|
files
Loading...
(0)
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
+3000
+10000
+30000
tip