--- a/src/Pure/Isar/isar_cmd.ML Mon Aug 30 11:09:26 2010 +0200
+++ b/src/Pure/Isar/isar_cmd.ML Mon Aug 30 11:17:05 2010 +0200
@@ -44,7 +44,6 @@
val pwd: Toplevel.transition -> Toplevel.transition
val display_drafts: Path.T list -> Toplevel.transition -> Toplevel.transition
val print_drafts: Path.T list -> Toplevel.transition -> Toplevel.transition
- val pretty_setmargin: int -> Toplevel.transition -> Toplevel.transition
val print_context: Toplevel.transition -> Toplevel.transition
val print_theory: bool -> Toplevel.transition -> Toplevel.transition
val print_syntax: Toplevel.transition -> Toplevel.transition
@@ -321,11 +320,6 @@
in File.isabelle_tool "print" ("-c " ^ outfile); () end);
-(* pretty_setmargin *)
-
-fun pretty_setmargin n = Toplevel.imperative (fn () => Pretty.margin_default := n);
-
-
(* print parts of theory and proof context *)
val print_context = Toplevel.keep Toplevel.print_state_context;