Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-3
+3
+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
.
Sun, 05 Jun 2011 15:00:17 +0200
made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
changeset
boehmes [Sun, 05 Jun 2011 15:00:17 +0200] rev 43154
made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
Fri, 03 Jun 2011 19:37:26 +0200
changing the mira setting again for the mutabelle configuration
changeset
bulwahn [Fri, 03 Jun 2011 19:37:26 +0200] rev 43153
changing the mira setting again for the mutabelle configuration
Fri, 03 Jun 2011 07:25:44 +0200
adding more settings to mira's mutabelle configuration
changeset
bulwahn [Fri, 03 Jun 2011 07:25:44 +0200] rev 43152
adding more settings to mira's mutabelle configuration
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-3
+3
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip