Tue, 08 Jul 2008 17:48:17 +0200 | wenzelm | more qualified ThyInfo names; | changeset | files |
Tue, 08 Jul 2008 16:19:24 +0200 | wenzelm | begin_theory: files_html needs to be produced outside of prep_html_source to make ML files appear! | changeset | files |
Tue, 08 Jul 2008 16:19:23 +0200 | wenzelm | removed unused href_opt_name; | changeset | files |