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
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sun, 26 May 2013 19:27:32 +0200
tuned signature;
changeset
wenzelm [Sun, 26 May 2013 19:27:32 +0200] rev 52156
tuned signature;
Sun, 26 May 2013 19:11:52 +0200
more conventional pretty printing;
changeset
wenzelm [Sun, 26 May 2013 19:11:52 +0200] rev 52155
more conventional pretty printing; more markup;
Sun, 26 May 2013 18:37:43 +0200
tuned white-space;
changeset
wenzelm [Sun, 26 May 2013 18:37:43 +0200] rev 52154
tuned white-space;
Sun, 26 May 2013 19:45:54 +0200
more specific structure for registration into theory and dependency onto locale
changeset
haftmann [Sun, 26 May 2013 19:45:54 +0200] rev 52153
more specific structure for registration into theory and dependency onto locale
Sun, 26 May 2013 19:45:54 +0200
examples for interpretation into target
changeset
haftmann [Sun, 26 May 2013 19:45:54 +0200] rev 52152
examples for interpretation into target
Sun, 26 May 2013 14:02:03 +0200
disable SPASS's splitting if Isar proofs are desired, because these are not handled by the proof reconstruction code (and it's not clear how to handle them considering the lack of documentation)
changeset
blanchet [Sun, 26 May 2013 14:02:03 +0200] rev 52151
disable SPASS's splitting if Isar proofs are desired, because these are not handled by the proof reconstruction code (and it's not clear how to handle them considering the lack of documentation)
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
tip