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.
Fri, 04 Feb 2011 04:45:04 +0000 updated TODO
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 04 Feb 2011 04:45:04 +0000] rev 2719
updated TODO
Fri, 04 Feb 2011 03:52:38 +0000 Lambda.thy which works with Nominal_Isabelle2011
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 04 Feb 2011 03:52:38 +0000] rev 2718
Lambda.thy which works with Nominal_Isabelle2011
Thu, 03 Feb 2011 02:57:04 +0000 merged
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 03 Feb 2011 02:57:04 +0000] rev 2717
merged
Thu, 03 Feb 2011 02:51:57 +0000 removed diagnostic code
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 03 Feb 2011 02:51:57 +0000] rev 2716
removed diagnostic code
Tue, 01 Feb 2011 09:07:55 +0900 Only one of the subgoals is needed
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 01 Feb 2011 09:07:55 +0900] rev 2715
Only one of the subgoals is needed
Tue, 01 Feb 2011 08:57:50 +0900 Experiments with substitution on set+
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 01 Feb 2011 08:57:50 +0900] rev 2714
Experiments with substitution on set+
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
nominal2