| changeset 74144 | f9f6a31cc99c |
| parent 73826 | 72900f34dbb3 |
| child 74827 | c1b5d6e6ff74 |
--- a/src/Pure/System/options.scala Thu Aug 12 13:13:10 2021 +0200 +++ b/src/Pure/System/options.scala Thu Aug 12 13:14:49 2021 +0200 @@ -141,11 +141,6 @@ } - /* encode */ - - val encode: XML.Encode.T[Options] = (options => options.encode) - - /* Isabelle tool wrapper */ val isabelle_tool = Isabelle_Tool("options", "print Isabelle system options",