Sun, 03 Sep 2000 20:04:43 +0200 | wenzelm | added pretend_use_thy_only; | changeset | files |
Sun, 03 Sep 2000 20:03:53 +0200 | wenzelm | proper_inform_file_processed: ThyInfo.pretend_use_thy_only; | changeset | files |
Sun, 03 Sep 2000 20:03:05 +0200 | wenzelm | improved section markup; | changeset | files |