# HG changeset patch
# User wenzelm
# Date 967464573 -7200
# Node ID c5fc121c2067282e93543cba58d04b543608cf47
# Parent  5c8acc0282c85b363f6a658372650403675f6f44
restart_loader: reset_path;

diff -r 5c8acc0282c8 -r c5fc121c2067 src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Mon Aug 28 14:09:12 2000 +0200
+++ b/src/Pure/Interface/proof_general.ML	Mon Aug 28 14:09:33 2000 +0200
@@ -194,11 +194,14 @@
   tell_clear_response ();
   writeln (Session.welcome ()));
 
+fun restart_loader () =
+  (ThyInfo.touch_all_thys (); ThyLoad.reset_path ());
+
 in
 
 fun isa_start () = restart false;
-fun isa_restart () = (ThyInfo.touch_all_thys (); restart false);
-fun isar_restart () = (ThyInfo.touch_all_thys (); restart true; raise Toplevel.RESTART);
+fun isa_restart () = (restart_loader (); restart false);
+fun isar_restart () = (restart_loader (); restart true; raise Toplevel.RESTART);
 
 end;