| author | haftmann |
| Thu, 19 Jun 2025 17:15:40 +0200 | |
| changeset 82734 | 89347c0cc6a3 |
| 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 |
# Demo: Isabelle system component and Isabelle/Scala tool |
|
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 |
This directory constitutes an Isabelle system component. It defines an |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
4 |
Isabelle/Scala tool that is available via the command-line as "isabelle demo". |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
5 |
|
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
6 |
See also "isabelle doc system" on "isabelle components -u" to register system |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
7 |
components in user-space. |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
8 |
|
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
9 |
NOTE: User-defined components should chose a name prefix that is unlikely to |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
10 |
clash with existing tools (or other user tools). |