| Thu, 22 Apr 2004 12:19:40 +0200 | wenzelm | Pure: considerably improved version of 'constdefs' command; | changeset | files |
| Thu, 22 Apr 2004 12:18:23 +0200 | wenzelm | fixed constdefs typing; | changeset | files |
| Thu, 22 Apr 2004 12:11:17 +0200 | wenzelm | constdefs: proper order; | changeset | files |