nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 17:56:41 +0200] rev 2160

more on subst

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 17:17:54 +0200] rev 2159

Single variable substitution

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 17:06:21 +0200] rev 2158

subst fix

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 15:58:52 +0200] rev 2157

subst experiments

Christian Urban <urbanc@in.tum.de> [Tue, 18 May 2010 14:40:05 +0100] rev 2156

soem minor tuning

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:47:29 +0200] rev 2155

Fix broken add

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:46:58 +0200] rev 2154

add missing .bib

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:46:19 +0200] rev 2153

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 18 May 2010 11:45:49 +0200] rev 2152

starting bibliography

Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 20:23:40 +0100] rev 2151

merged

nominal2