| Sat, 21 Aug 2010 17:55:42 +0800 |
Christian Urban |
nominal_datatypes with type variables do not work
|
changeset |
files
|
| Sat, 21 Aug 2010 16:20:10 +0800 |
Christian Urban |
changed parser so that the binding mode is indicated as "bind (list)", "bind (set)" or "bind (res)"; if only "bind" is given, then bind (list) is assumed as default
|
changeset |
files
|
| Fri, 20 Aug 2010 16:55:58 +0900 |
Cezary Kaliszyk |
Clarifications to FIXMEs.
|
changeset |
files
|
| Fri, 20 Aug 2010 16:50:46 +0900 |
Cezary Kaliszyk |
Finished adding remarks from the reviewers.
|
changeset |
files
|
| Fri, 20 Aug 2010 16:39:39 +0900 |
Cezary Kaliszyk |
few remaining remarks as fixme's.
|
changeset |
files
|
| Thu, 19 Aug 2010 18:24:36 +0800 |
Christian Urban |
used @{const_name} hopefully everywhere
|
changeset |
files
|
| Thu, 19 Aug 2010 16:08:10 +0900 |
Cezary Kaliszyk |
Intuition behind REL
|
changeset |
files
|
| Thu, 19 Aug 2010 16:05:31 +0900 |
Cezary Kaliszyk |
add missing mathpartir
|
changeset |
files
|
| Thu, 19 Aug 2010 15:52:36 +0900 |
Cezary Kaliszyk |
Add 2 FIXMEs
|
changeset |
files
|
| Thu, 19 Aug 2010 15:46:28 +0900 |
Cezary Kaliszyk |
The type does determine respectfulness, the constant without an instantiated type does not.
|
changeset |
files
|
| Thu, 19 Aug 2010 15:02:11 +0900 |
Cezary Kaliszyk |
Add the SAC stylesheet and updated root file.
|
changeset |
files
|
| Thu, 19 Aug 2010 14:28:54 +0900 |
Cezary Kaliszyk |
TODO
|
changeset |
files
|
| Thu, 19 Aug 2010 13:58:47 +0900 |
Cezary Kaliszyk |
further comments from the referees
|
changeset |
files
|
| Thu, 19 Aug 2010 13:00:49 +0900 |
Cezary Kaliszyk |
fixes for referees
|
changeset |
files
|