Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 17 Sep 2010 22:17:57 +0200
discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
changeset
wenzelm [Fri, 17 Sep 2010 22:17:57 +0200] rev 39513
discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
Fri, 17 Sep 2010 21:50:44 +0200
Isabelle_Markup.overview_color: indicate error / warning messages;
changeset
wenzelm [Fri, 17 Sep 2010 21:50:44 +0200] rev 39512
Isabelle_Markup.overview_color: indicate error / warning messages;
Fri, 17 Sep 2010 21:49:34 +0200
some specific message classification;
changeset
wenzelm [Fri, 17 Sep 2010 21:49:34 +0200] rev 39511
some specific message classification;
Fri, 17 Sep 2010 21:04:56 +0200
Syntax.read_asts error: report token ranges within message -- no side-effect here;
changeset
wenzelm [Fri, 17 Sep 2010 21:04:56 +0200] rev 39510
Syntax.read_asts error: report token ranges within message -- no side-effect here;
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip