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, 10 Mar 2010 12:53:44 +0100 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 12:53:44 +0100] rev 1395
merge
Wed, 10 Mar 2010 12:53:30 +0100 A minor fix for shallow binders. LF works again.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 12:53:30 +0100] rev 1394
A minor fix for shallow binders. LF works again.
Wed, 10 Mar 2010 12:48:55 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 10 Mar 2010 12:48:55 +0100] rev 1393
merged
Wed, 10 Mar 2010 12:48:38 +0100 parser produces ordered bn-fun information
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 10 Mar 2010 12:48:38 +0100] rev 1392
parser produces ordered bn-fun information
Wed, 10 Mar 2010 11:39:28 +0100 Testing equalities in trm5, all seems good.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 11:39:28 +0100] rev 1391
Testing equalities in trm5, all seems good.
Wed, 10 Mar 2010 11:19:59 +0100 Fv&Alpha seem to work.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 11:19:59 +0100] rev 1390
Fv&Alpha seem to work.
Wed, 10 Mar 2010 10:47:21 +0100 include alpha in the definitions.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 10:47:21 +0100] rev 1389
include alpha in the definitions.
Wed, 10 Mar 2010 10:11:20 +0100 Filled the algorithm for alpha_bn_arg
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 10:11:20 +0100] rev 1388
Filled the algorithm for alpha_bn_arg
Wed, 10 Mar 2010 09:58:43 +0100 rhs of alpha_bn, and template for the arguments.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 09:58:43 +0100] rev 1387
rhs of alpha_bn, and template for the arguments.
Wed, 10 Mar 2010 09:45:38 +0100 alpha_bn_constr template
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Mar 2010 09:45:38 +0100] rev 1386
alpha_bn_constr template
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 tip
nominal2