Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+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
.
Sat, 18 Sep 2010 17:11:39 +0200
tuned;
changeset
wenzelm [Sat, 18 Sep 2010 17:11:39 +0200] rev 39518
tuned;
Sat, 18 Sep 2010 16:05:12 +0200
separate Isabelle.logic_selector;
changeset
wenzelm [Sat, 18 Sep 2010 16:05:12 +0200] rev 39517
separate Isabelle.logic_selector;
Sat, 18 Sep 2010 15:50:29 +0200
non-editable text area;
changeset
wenzelm [Sat, 18 Sep 2010 15:50:29 +0200] rev 39516
non-editable text area;
Sat, 18 Sep 2010 14:28:42 +0200
basic setup for prover session panel;
changeset
wenzelm [Sat, 18 Sep 2010 14:28:42 +0200] rev 39515
basic setup for prover session panel;
Fri, 17 Sep 2010 22:42:07 +0200
ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp;
changeset
wenzelm [Fri, 17 Sep 2010 22:42:07 +0200] rev 39514
ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp;
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);
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip