nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 16:08:10 +0900] rev 2419

Intuition behind REL

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 16:05:31 +0900] rev 2418

add missing mathpartir

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 15:52:36 +0900] rev 2417

Add 2 FIXMEs

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 15:46:28 +0900] rev 2416

The type does determine respectfulness, the constant without an instantiated type does not.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 15:02:11 +0900] rev 2415

Add the SAC stylesheet and updated root file.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 14:28:54 +0900] rev 2414

TODO

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 13:58:47 +0900] rev 2413

further comments from the referees

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 19 Aug 2010 13:00:49 +0900] rev 2412

fixes for referees

Christian Urban <urbanc@in.tum.de> [Wed, 18 Aug 2010 00:23:42 +0800] rev 2411

put everything in a "timeit"

Christian Urban <urbanc@in.tum.de> [Wed, 18 Aug 2010 00:19:15 +0800] rev 2410

improved runtime slightly, by constructing an explicit size measure for the function definitions

nominal2