Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Mon, 06 Jun 2011 20:36:34 +0200
added support for helpers in new Metis, so far only for polymorphic type encodings
changeset
blanchet [Mon, 06 Jun 2011 20:36:34 +0200] rev 43159
added support for helpers in new Metis, so far only for polymorphic type encodings
Mon, 06 Jun 2011 16:29:38 +0200
imported rest of new IMP
changeset
kleing [Mon, 06 Jun 2011 16:29:38 +0200] rev 43158
imported rest of new IMP
Mon, 06 Jun 2011 16:29:13 +0200
atLeastAtMostSuc_conv on int
changeset
kleing [Mon, 06 Jun 2011 16:29:13 +0200] rev 43157
atLeastAtMostSuc_conv on int
Mon, 06 Jun 2011 14:11:54 +0200
fixed typo
changeset
kleing [Mon, 06 Jun 2011 14:11:54 +0200] rev 43156
fixed typo
Sun, 05 Jun 2011 15:00:52 +0200
updated SMT certificates
changeset
boehmes [Sun, 05 Jun 2011 15:00:52 +0200] rev 43155
updated SMT certificates
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
Thu, 02 Jun 2011 15:17:23 +0200
merged
changeset
nipkow [Thu, 02 Jun 2011 15:17:23 +0200] rev 43151
merged
Thu, 02 Jun 2011 10:10:23 +0200
Added typed IMP
changeset
nipkow [Thu, 02 Jun 2011 10:10:23 +0200] rev 43150
Added typed IMP
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip