| Thu, 26 May 2011 18:39:36 +0000 | urbanc | a few more literature places | changeset | files |
| Wed, 18 May 2011 19:54:43 +0000 | urbanc | added directory for journal version; took uptodate version of the theory files | changeset | files |
| Thu, 12 May 2011 05:55:05 +0000 | urbanc | preparation for final paper version | changeset | files |
| Mon, 09 May 2011 07:25:37 +0000 | urbanc | added comments from Chunhan | changeset | files |
| Wed, 04 May 2011 07:05:59 +0000 | urbanc | edits; sqeezed to 16 pages | changeset | files |
| Thu, 28 Apr 2011 03:24:20 +0000 | urbanc | paper about formalising parsing; seems to have done what we would like to do....probably also appears at ITP'11 | changeset | files |
| Thu, 21 Apr 2011 22:41:15 +0000 | urbanc | a small change | changeset | files |