Wed, 13 Oct 1999 19:41:35 +0200 | wenzelm | system; | changeset | files |
Wed, 13 Oct 1999 19:41:18 +0200 | wenzelm | markup / varbatim: comment out (%) newline char; | changeset | files |
Wed, 13 Oct 1999 19:40:23 +0200 | wenzelm | use_text writeln; | changeset | files |
Wed, 13 Oct 1999 19:40:03 +0200 | wenzelm | mkdir, copy_all: system_command; | changeset | files |
Wed, 13 Oct 1999 19:39:19 +0200 | wenzelm | updated; | changeset | files |
Wed, 13 Oct 1999 15:41:24 +0200 | berghofe | Eliminated mutual_induct_tac. | changeset | files |
Wed, 13 Oct 1999 15:18:15 +0200 | berghofe | Eliminated mutual_induct_tac. | changeset | files |