| author | paulson <lp15@cam.ac.uk> |
| Thu, 13 Nov 2025 17:05:26 +0000 | |
| changeset 83548 | 2c082b7e31f1 |
| parent 79058 | f13390b2c1ee |
| permissions | -rw-r--r-- |
|
79058
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
1 |
(* :mode=isabelle-options: *) |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
2 |
|
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
3 |
section "Demo" |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
4 |
|
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
5 |
option demo_prefix : string = "" |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
6 |
-- "line prefix for output of arguments" |