| Sun, 21 Feb 2010 20:55:12 +0100 | wenzelm | tuned headers; | changeset | files |
| Sun, 21 Feb 2010 20:54:40 +0100 | wenzelm | simplified syntax -- to make it work for authentic syntax; | changeset | files |
| Sun, 21 Feb 2010 20:54:07 +0100 | wenzelm | modernized notation -- to make it work for authentic syntax; | changeset | files |
| Sun, 21 Feb 2010 20:53:50 +0100 | wenzelm | proper markup of const syntax; | changeset | files |