Sat, 01 May 2004 22:04:14 +0200 | wenzelm | improved subscript syntax; | changeset | files |
Sat, 01 May 2004 22:01:57 +0200 | wenzelm | tuned instance statements; | changeset | files |
Sat, 01 May 2004 21:59:12 +0200 | wenzelm | _index1: accomodate improved indexed syntax; | changeset | files |