Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-1000
-300
-100
-30
-10
-7
+7
+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, 28 Jun 1996 11:16:12 +0200
Now set_cs is just taken from !claset
changeset
paulson [Fri, 28 Jun 1996 11:16:12 +0200] rev 1837
Now set_cs is just taken from !claset
Fri, 28 Jun 1996 11:13:07 +0200
Added type-checking to rule "combination". This corrects a fault
changeset
paulson [Fri, 28 Jun 1996 11:13:07 +0200] rev 1836
Added type-checking to rule "combination". This corrects a fault concerning soundness. See Jeremy Dawsons message of 27 Jun 1996 on isabelle-users
Fri, 28 Jun 1996 11:10:32 +0200
Restored warning comment
changeset
paulson [Fri, 28 Jun 1996 11:10:32 +0200] rev 1835
Restored warning comment
Thu, 27 Jun 1996 15:24:17 +0200
re-added when_funs to library.ML
changeset
oheimb [Thu, 27 Jun 1996 15:24:17 +0200] rev 1834
re-added when_funs to library.ML
Thu, 27 Jun 1996 15:19:50 +0200
patches for Holcfb.thy removed
changeset
oheimb [Thu, 27 Jun 1996 15:19:50 +0200] rev 1833
patches for Holcfb.thy removed
Thu, 27 Jun 1996 12:53:08 +0200
removed old version of LEAST operator
changeset
oheimb [Thu, 27 Jun 1996 12:53:08 +0200] rev 1832
removed old version of LEAST operator
Wed, 26 Jun 1996 17:50:10 +0200
repaired 8bit pragma
changeset
oheimb [Wed, 26 Jun 1996 17:50:10 +0200] rev 1831
repaired 8bit pragma
(0)
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip