Mercurial
Mercurial
>
hg
>
nominal2
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-1000
-300
-100
-10
+10
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 24 Feb 2010 10:38:45 +0100
Final synchronization of names.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Feb 2010 10:38:45 +0100] rev 1238
Final synchronization of names.
Wed, 24 Feb 2010 10:25:59 +0100
LF renaming part 3 (proper names of alpha equvalences)
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Feb 2010 10:25:59 +0100] rev 1237
LF renaming part 3 (proper names of alpha equvalences)
Wed, 24 Feb 2010 10:08:54 +0100
LF renaming part 2 (proper fv functions)
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Feb 2010 10:08:54 +0100] rev 1236
LF renaming part 2 (proper fv functions)
Wed, 24 Feb 2010 09:58:44 +0100
merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Feb 2010 09:58:44 +0100] rev 1235
merge
Wed, 24 Feb 2010 09:58:12 +0100
LF renaming part1.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 24 Feb 2010 09:58:12 +0100] rev 1234
LF renaming part1.
Wed, 24 Feb 2010 09:56:32 +0100
merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 24 Feb 2010 09:56:32 +0100] rev 1233
merged
Wed, 24 Feb 2010 09:56:12 +0100
parsing of function definitions almost works now; still an error with undefined constants
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 24 Feb 2010 09:56:12 +0100] rev 1232
parsing of function definitions almost works now; still an error with undefined constants
Tue, 23 Feb 2010 18:28:48 +0100
merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Feb 2010 18:28:48 +0100] rev 1231
merge
Tue, 23 Feb 2010 18:27:32 +0100
rsp for bv; the only issue is that it requires an appropriate induction principle.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Feb 2010 18:27:32 +0100] rev 1230
rsp for bv; the only issue is that it requires an appropriate induction principle.
Tue, 23 Feb 2010 16:32:04 +0100
merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 23 Feb 2010 16:32:04 +0100] rev 1229
merged
(0)
-1000
-300
-100
-10
+10
+100
+300
+1000
tip