tuned prompts;
authorwenzelm
Mon Aug 16 15:15:14 1999 +0200 (1999-08-16 ago)
changeset 7210ae9a645e8728
parent 7209 7577d5a5dc29
child 7211 8e4aa9044599
tuned prompts;
src/Pure/Interface/proof_general.ML
     1.1 --- a/src/Pure/Interface/proof_general.ML	Mon Aug 16 14:57:41 1999 +0200
     1.2 +++ b/src/Pure/Interface/proof_general.ML	Mon Aug 16 15:15:14 1999 +0200
     1.3 @@ -163,7 +163,7 @@
     1.4  
     1.5  
     1.6  fun isa_restart () =
     1.7 - (ml_prompts (">" ^ oct_char "372") ("-" ^ oct_char "373");
     1.8 + (ml_prompts ("> " ^ oct_char "372") ("- " ^ oct_char "373");
     1.9    ThyInfo.touch_all_thys ();
    1.10    kill_goal ();
    1.11    writeln ("Proof General, please clear the response buffer.");