Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2011-01-30
wenzelm
delete .elc files unconditionally -- they cause too many incompatibilities;
changeset
|
files
2011-01-30
wenzelm
Added tag Isabelle2011 for changeset 6d736d983d5c
changeset
|
files
2011-01-30
wenzelm
clarified example settings for Proof General;
Isabelle2011
changeset
|
files
2011-01-28
wenzelm
adhoc patches relative to ProofGeneral-4.1pre101216, which has setprefs working;
changeset
|
files
2011-01-28
wenzelm
more precise stats;
changeset
|
files
2011-01-28
wenzelm
some adhoc patches for ProofGeneral-4.1pre110112;
changeset
|
files
2011-01-28
wenzelm
enforce STIXGeneral, which is preferred by PG 4.1;
changeset
|
files
2011-01-28
wenzelm
default UTF-8 locale, to work with funny base directory (e.g. Chinese);
changeset
|
files
2011-01-28
wenzelm
enforce fonts;
changeset
|
files
2011-01-27
wenzelm
added option -f FONT;
changeset
|
files
2011-01-27
wenzelm
Proof General 4.x interface wrapper;
changeset
|
files
2011-01-27
wenzelm
old Proof General patches;
changeset
|
files
2011-01-27
wenzelm
Added tag isa2011-test3 for changeset 55a45051b220
changeset
|
files
2011-01-27
berghofe
Tuned definition of sdiv.
changeset
|
files
Loading...
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip