--- a/src/Pure/proof_general.ML Thu Apr 15 09:33:12 2004 +0200
+++ b/src/Pure/proof_general.ML Thu Apr 15 13:04:50 2004 +0200
@@ -323,7 +323,7 @@
(* NB: the default returned here is actually the current value, so
repeated uses of <askprefs> will not work correctly. *)
fun show_options () = issue_pgip (map
- (fn (name, (descr, (ty, get, _))) => (XML.element "haspref"
+ (fn (name, (descr, (ty, get, _))) => (XML.element "oldhaspref"
[("type", ty), ("descr", descr), ("default", get ())] [name])) (!options));
fun set_option name value = (case assoc (!options, name) of