changeset 12424 | 3c70d99b7586 |
parent 12422 | 7389066a4df9 |
child 12592 | 0eb1685a00b4 |
--- a/src/Pure/Interface/proof_general.ML Sat Dec 08 14:43:48 2001 +0100 +++ b/src/Pure/Interface/proof_general.ML Sat Dec 08 16:13:20 2001 +0100 @@ -245,7 +245,7 @@ tell_clear_response (); welcome ()); -fun restart_loader () = (ThyInfo.touch_all_thys (); ThyLoad.reset_path); +fun restart_loader () = ThyInfo.touch_all_thys (); in