nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 12:28:07 +0100] rev 1301

Fix equivp.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 11:04:49 +0100] rev 1300

Fixed eqvt code.

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 08:58:28 +0100] rev 1299

most tests work - the ones that do not I commented out

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 08:49:04 +0100] rev 1298

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 08:48:35 +0100] rev 1297

Add a check of fv_functions.

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 08:43:53 +0100] rev 1296

some tuning

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 08:42:10 +0100] rev 1295

Link calls to Raw permutations, FV definition and alpha_definition into the parser.

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 06:43:09 +0100] rev 1294

merged

Christian Urban <urbanc@in.tum.de> [Tue, 02 Mar 2010 06:42:43 +0100] rev 1293

rawified the bind specs (ready to be used now)

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 01 Mar 2010 21:50:40 +0100] rev 1292

merge

nominal2