Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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
.
Fri, 03 Mar 1995 12:04:16 +0100
new version of HOL/IMP with curried function application
changeset
clasohm [Fri, 03 Mar 1995 12:04:16 +0100] rev 924
new version of HOL/IMP with curried function application
Fri, 03 Mar 1995 12:02:25 +0100
new version of HOL with curried function application
changeset
clasohm [Fri, 03 Mar 1995 12:02:25 +0100] rev 923
new version of HOL with curried function application
Fri, 03 Mar 1995 11:48:05 +0100
added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
changeset
clasohm [Fri, 03 Mar 1995 11:48:05 +0100] rev 922
added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
Thu, 02 Mar 1995 12:07:20 +0100
added declaration of syntactic const "_abs";
changeset
wenzelm [Thu, 02 Mar 1995 12:07:20 +0100] rev 921
added declaration of syntactic const "_abs";
Tue, 28 Feb 1995 10:54:49 +0100
Added initial /bin/csh line and comments
changeset
lcp [Tue, 28 Feb 1995 10:54:49 +0100] rev 920
Added initial /bin/csh line and comments
Tue, 28 Feb 1995 10:53:56 +0100
No longer calls maketest; instead, the Makefile writes the file
changeset
lcp [Tue, 28 Feb 1995 10:53:56 +0100] rev 919
No longer calls maketest; instead, the Makefile writes the file test.
(0)
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip