| Wed, 26 Sep 2007 19:17:57 +0200 | wenzelm | minimal adaptions for Specification.read/check_specification; | changeset | files |
| Wed, 26 Sep 2007 19:17:56 +0200 | wenzelm | proper Specification.read_specification; | changeset | files |
| Wed, 26 Sep 2007 19:17:55 +0200 | wenzelm | removed dead code; | changeset | files |