Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 02 May 2011 13:01:02 +0800 updated Quotient paper so that it compiles again
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 02 May 2011 13:01:02 +0800] rev 2774
updated Quotient paper so that it compiles again
Thu, 28 Apr 2011 11:51:01 +0800 merged
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 28 Apr 2011 11:51:01 +0800] rev 2773
merged
Thu, 28 Apr 2011 11:44:36 +0800 added slides for beijing
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 28 Apr 2011 11:44:36 +0800] rev 2772
added slides for beijing
Fri, 22 Apr 2011 00:18:25 +0800 more to the pearl paper
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 22 Apr 2011 00:18:25 +0800] rev 2771
more to the pearl paper
Tue, 19 Apr 2011 13:03:08 +0100 updated to snapshot Isabelle 19 April
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Apr 2011 13:03:08 +0100] rev 2770
updated to snapshot Isabelle 19 April
Mon, 18 Apr 2011 15:57:45 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 18 Apr 2011 15:57:45 +0100] rev 2769
merged
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
nominal2