nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 21:48:32 +0100] rev 389

applic_prs

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 15:43:12 +0100] rev 388

polishing

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 15:20:10 +0100] rev 387

reordered the code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:25:29 +0100] rev 386

Moved exception handling to QuotMain and cleaned FSet.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:16:33 +0100] rev 385

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:15:34 +0100] rev 384

Finished manual lifting of list_induct_part :)

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 12:27:28 +0100] rev 383

comments tuning and slight reordering

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:59:49 +0100] rev 382

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 11:58:56 +0100] rev 381

More moving from QuotMain to UnusedQuotMain

Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 11:46:59 +0100] rev 380

deleted some obsolete diagnostic code

nominal2