# Demo: Isabelle system component and Isabelle/Scala tool
This directory constitutes an Isabelle system component. It defines an
Isabelle/Scala tool that is available via the command-line as "isabelle demo".
See also "isabelle doc system" on "isabelle components -u" to register system
components in user-space.
NOTE: User-defined components should chose a name prefix that is unlikely to
clash with existing tools (or other user tools).
[ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
]
