Fri, 19 Aug 2011 12:49:38 +0900 Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Aug 2011 12:49:38 +0900] rev 2998
Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
Fri, 19 Aug 2011 11:07:17 +0900 Add lmcs-paper to hgignore
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Aug 2011 11:07:17 +0900] rev 2997
Add lmcs-paper to hgignore
Fri, 19 Aug 2011 11:05:22 +0900 Add 'no-brackets' to avoid '[| |]' in papers.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Aug 2011 11:05:22 +0900] rev 2996
Add 'no-brackets' to avoid '[| |]' in papers.
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 tip