src/Pure/Isar/isar_syn.ML

     (Scan.succeed IsarCmd.exit);
 
 val restartP =
   OuterSyntax.improper_command "restart" "restart Isar loop" K.control
     (Scan.succeed IsarCmd.restart);
-
-val breakP =
-  OuterSyntax.improper_command "break" "discontinue excursion (keep current state)" K.control
-    (Scan.succeed IsarCmd.break);
 
 
 
 (** the Pure outer syntax **)
 

   print_commandsP, print_theoryP, print_syntaxP, print_attributesP,
   print_methodsP, print_theoremsP, print_bindsP, print_lthmsP,
   print_thmsP, print_propP, print_termP, print_typeP,
   (*system commands*)
   cdP, pwdP, use_thyP, use_thy_onlyP, update_thyP, prP, commitP,
-  quitP, exitP, restartP, breakP];
+  quitP, exitP, restartP];
 
 
 end;