author | wenzelm |
Tue, 09 Mar 1999 12:12:02 +0100 | |
changeset 6323 | e5b3e46d5dbd |
parent 6322 | 7047300264c9 |
child 6324 | 3b7111b360b1 |
--- a/src/Pure/Thy/ROOT.ML Tue Mar 09 12:11:29 1999 +0100 +++ b/src/Pure/Thy/ROOT.ML Tue Mar 09 12:12:02 1999 +0100 @@ -9,8 +9,8 @@ use "thy_info.ML"; (*theory presentation*) -(*use "html.ML";*) -(*use "browser_info.ML";*) (* FIXME *) +use "html.ML"; +use "browser_info.ML"; use "present.ML"; use "thm_database.ML";