| changeset 36745 | 403585a89772 |
| parent 36328 | 4d9deabf6474 |
| child 36950 | 75b8f26f2f07 |
--- a/src/Pure/Isar/isar_cmd.ML Sat May 08 16:53:53 2010 +0200 +++ b/src/Pure/Isar/isar_cmd.ML Sat May 08 19:14:13 2010 +0200 @@ -313,7 +313,7 @@ (* pretty_setmargin *) -fun pretty_setmargin n = Toplevel.imperative (fn () => Pretty.setmargin n); +fun pretty_setmargin n = Toplevel.imperative (fn () => Pretty.margin_default := n); (* print parts of theory and proof context *)