1 (* :mode=isabelle-options: *)
2
3 section "Demo"
4
5 option demo_prefix : string = ""
6 -- "line prefix for output of arguments"