Thu, 12 Mar 2009 21:37:18 +0100 | wenzelm | simplified versions check_spec, read_spec, check_free_spec, read_free_spec: operate on list of singleton statements; | changeset | files |
Thu, 12 Mar 2009 21:33:06 +0100 | wenzelm | removed old named_spec, spec_name, spec_opt_name; | changeset | files |
Thu, 12 Mar 2009 21:29:04 +0100 | wenzelm | keep dead code fresh; | changeset | files |