| Wed, 24 Oct 2007 07:19:52 +0200 | haftmann | tuned | changeset | files |
| Tue, 23 Oct 2007 23:27:23 +0200 | nipkow | went back to >0 | changeset | files |
| Tue, 23 Oct 2007 22:48:25 +0200 | nipkow | changed back from ~=0 to >0 | changeset | files |
| Tue, 23 Oct 2007 14:00:06 +0200 | wenzelm | updated; | changeset | files |
| Tue, 23 Oct 2007 13:29:17 +0200 | wenzelm | added XCONST syntax (keeps original spelling of const); | changeset | files |
| Tue, 23 Oct 2007 13:29:16 +0200 | wenzelm | translations: use XCONST for input patterns (keeps original spelling of const); | changeset | files |