Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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
.
Fri, 15 Sep 2000 16:46:15 +0200
system: isatool installfonts may handle X-Symbol fonts as well;
changeset
wenzelm [Fri, 15 Sep 2000 16:46:15 +0200] rev 9981
system: isatool installfonts may handle X-Symbol fonts as well;
Fri, 15 Sep 2000 16:44:57 +0200
added latexsym (no longer loaded by isabellesym);
changeset
wenzelm [Fri, 15 Sep 2000 16:44:57 +0200] rev 9980
added latexsym (no longer loaded by isabellesym);
Fri, 15 Sep 2000 16:40:20 +0200
tuned init sequence;
changeset
wenzelm [Fri, 15 Sep 2000 16:40:20 +0200] rev 9979
tuned init sequence;
Fri, 15 Sep 2000 16:38:15 +0200
ML_command: no_timing;
changeset
wenzelm [Fri, 15 Sep 2000 16:38:15 +0200] rev 9978
ML_command: no_timing;
Fri, 15 Sep 2000 16:31:36 +0200
unexport exports;
changeset
wenzelm [Fri, 15 Sep 2000 16:31:36 +0200] rev 9977
unexport exports;
Fri, 15 Sep 2000 16:31:00 +0200
added lparr, rparr;
changeset
wenzelm [Fri, 15 Sep 2000 16:31:00 +0200] rev 9976
added lparr, rparr; tuned some symbols;
Fri, 15 Sep 2000 16:30:16 +0200
fixed "sl" style;
changeset
wenzelm [Fri, 15 Sep 2000 16:30:16 +0200] rev 9975
fixed "sl" style;
Fri, 15 Sep 2000 16:29:36 +0200
support XSYMBOL_INSTALLFONTS as well;
changeset
wenzelm [Fri, 15 Sep 2000 16:29:36 +0200] rev 9974
support XSYMBOL_INSTALLFONTS as well;
Fri, 15 Sep 2000 16:29:00 +0200
#XSYMBOL_INSTALLFONTS;
changeset
wenzelm [Fri, 15 Sep 2000 16:29:00 +0200] rev 9973
#XSYMBOL_INSTALLFONTS;
Fri, 15 Sep 2000 16:28:04 +0200
-P option;
changeset
wenzelm [Fri, 15 Sep 2000 16:28:04 +0200] rev 9972
-P option;
Fri, 15 Sep 2000 15:48:41 +0200
renamed the select rules
changeset
paulson [Fri, 15 Sep 2000 15:48:41 +0200] rev 9971
renamed the select rules
Fri, 15 Sep 2000 15:30:50 +0200
the final renaming: selectI -> someI
changeset
paulson [Fri, 15 Sep 2000 15:30:50 +0200] rev 9970
the final renaming: selectI -> someI
Fri, 15 Sep 2000 12:39:57 +0200
renamed (most of...) the select rules
changeset
paulson [Fri, 15 Sep 2000 12:39:57 +0200] rev 9969
renamed (most of...) the select rules
Fri, 15 Sep 2000 11:34:46 +0200
fixed comment;
changeset
wenzelm [Fri, 15 Sep 2000 11:34:46 +0200] rev 9968
fixed comment;
(0)
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip