| Wed, 03 Mar 2010 00:33:33 +0100 |
wenzelm |
removed unused external_names;
|
changeset |
files
|
| Wed, 03 Mar 2010 00:33:02 +0100 |
wenzelm |
cleanup type translations;
|
changeset |
files
|
| Wed, 03 Mar 2010 00:32:14 +0100 |
wenzelm |
adapted to authentic syntax -- actual types are verbatim;
|
changeset |
files
|
| Wed, 03 Mar 2010 00:28:22 +0100 |
wenzelm |
authentic syntax for classes and type constructors;
|
changeset |
files
|
| Wed, 03 Mar 2010 00:00:44 +0100 |
wenzelm |
more systematic mark/unmark operations;
|
changeset |
files
|
| Tue, 02 Mar 2010 23:59:54 +0100 |
wenzelm |
proper (type_)notation;
|
changeset |
files
|
| Tue, 02 Mar 2010 23:56:13 +0100 |
wenzelm |
proper antiquotations;
|
changeset |
files
|
| Tue, 02 Mar 2010 22:20:19 +0100 |
wenzelm |
standard convention for syntax consts;
|
changeset |
files
|
| Tue, 02 Mar 2010 22:18:51 +0100 |
wenzelm |
more precise scope of exception handler;
|
changeset |
files
|
| Mon, 01 Mar 2010 21:41:35 +0100 |
wenzelm |
eliminated hard tabs;
|
changeset |
files
|
| Mon, 01 Mar 2010 17:45:19 +0100 |
wenzelm |
tuned final whitespace;
|
changeset |
files
|
| Mon, 01 Mar 2010 17:45:02 +0100 |
wenzelm |
repaired 'definition' (cf. d8d7d1b785af);
|
changeset |
files
|