author | wenzelm |
Mon, 16 Aug 1999 15:15:14 +0200 | |
changeset 7210 | ae9a645e8728 |
parent 7209 | 7577d5a5dc29 |
child 7211 | 8e4aa9044599 |
--- a/src/Pure/Interface/proof_general.ML Mon Aug 16 14:57:41 1999 +0200 +++ b/src/Pure/Interface/proof_general.ML Mon Aug 16 15:15:14 1999 +0200 @@ -163,7 +163,7 @@ fun isa_restart () = - (ml_prompts (">" ^ oct_char "372") ("-" ^ oct_char "373"); + (ml_prompts ("> " ^ oct_char "372") ("- " ^ oct_char "373"); ThyInfo.touch_all_thys (); kill_goal (); writeln ("Proof General, please clear the response buffer.");