| Thu, 17 Aug 2000 10:39:44 +0200 | wenzelm | renamed 'RS' to 'THEN'; | changeset | files |
| Thu, 17 Aug 2000 10:39:30 +0200 | wenzelm | tuned error handling; | changeset | files |
| Thu, 17 Aug 2000 10:39:12 +0200 | wenzelm | added 'symmetric' attribute; | changeset | files |
| Thu, 17 Aug 2000 10:38:43 +0200 | wenzelm | updated; | changeset | files |
| Thu, 17 Aug 2000 10:38:20 +0200 | wenzelm | sel_upd proc: include 'more' pseudo-field; | changeset | files |
| Thu, 17 Aug 2000 10:37:33 +0200 | wenzelm | renamed 'mk_cases_tac' to 'ind_cases'; | changeset | files |
| Thu, 17 Aug 2000 10:37:04 +0200 | wenzelm | changed 'opaque' option to 'open' (opaque is default); | changeset | files |