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, 26 May 2010 16:28:35 +0200 qpaper..
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:28:35 +0200] rev 2189
qpaper..
Wed, 26 May 2010 16:17:49 +0200 qpaper.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:17:49 +0200] rev 2188
qpaper.
Wed, 26 May 2010 16:09:09 +0200 Name some respectfullness
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:09:09 +0200] rev 2187
Name some respectfullness
Wed, 26 May 2010 15:35:34 +0200 added FSet to the correct paper
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:35:34 +0200] rev 2186
added FSet to the correct paper
Wed, 26 May 2010 15:26:22 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:26:22 +0200] rev 2185
merged
Wed, 26 May 2010 15:26:00 +0200 added FSet
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:26:00 +0200] rev 2184
added FSet
Wed, 26 May 2010 15:24:33 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 15:24:33 +0200] rev 2183
qpaper
Wed, 26 May 2010 12:11:58 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 12:11:58 +0200] rev 2182
qpaper
Tue, 25 May 2010 18:38:52 +0200 Substitution Lemma for TypeSchemes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 18:38:52 +0200] rev 2181
Substitution Lemma for TypeSchemes.
Tue, 25 May 2010 17:29:05 +0200 Simplified the proof
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 17:29:05 +0200] rev 2180
Simplified the proof
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 tip
nominal2