changeset 51945 | 5b1ac9843f02 |
parent 51620 | 7c39677f9ea0 |
child 52065 | 78f2475aa126 |
--- a/src/Pure/System/options.scala Sun May 12 17:51:34 2013 +0200 +++ b/src/Pure/System/options.scala Sun May 12 17:56:53 2013 +0200 @@ -1,7 +1,7 @@ /* Title: Pure/System/options.scala Author: Makarius -Stand-alone options with external string representation. +System options with external string representation. */ package isabelle