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, 16 Aug 2010 17:39:16 +0800 modified the code for class instantiations (with help from Florian)
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 16 Aug 2010 17:39:16 +0800] rev 2401
modified the code for class instantiations (with help from Florian)
Sun, 15 Aug 2010 14:00:28 +0800 defined qperms and qsizes
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 15 Aug 2010 14:00:28 +0800] rev 2400
defined qperms and qsizes
Sun, 15 Aug 2010 11:03:13 +0800 simplified code
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 15 Aug 2010 11:03:13 +0800] rev 2399
simplified code
Sat, 14 Aug 2010 23:33:23 +0800 improved code
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 14 Aug 2010 23:33:23 +0800] rev 2398
improved code
Sat, 14 Aug 2010 16:54:41 +0800 more experiments with lifting
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 14 Aug 2010 16:54:41 +0800] rev 2397
more experiments with lifting
Thu, 12 Aug 2010 21:29:35 +0800 updated to Isabelle 12th Aug
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 12 Aug 2010 21:29:35 +0800] rev 2396
updated to Isabelle 12th Aug
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
nominal2