nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 20 Aug 2010 16:55:58 +0900] rev 2423

Clarifications to FIXMEs.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 20 Aug 2010 16:50:46 +0900] rev 2422

Finished adding remarks from the reviewers.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 20 Aug 2010 16:39:39 +0900] rev 2421

few remaining remarks as fixme's.

Christian Urban <urbanc@in.tum.de> [Thu, 19 Aug 2010 18:24:36 +0800] rev 2420

used @{const_name} hopefully everywhere

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

nominal2