src/Tools/Demo/README.md

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Demo/README.md	Sat Nov 25 16:13:08 2023 +0100
@@ -0,0 +1,10 @@
+# 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).