isabelle: etc/components@0c51e0a6bc37 (annotated)

73260 3edb1592cad6 tuned comments; wenzelm parents: 64622 diff changeset	1	#built-in components
79058 f13390b2c1ee provide src/Tools/Demo as example for system component with Isabelle/Scala tool; wenzelm parents: 74039 diff changeset	2	src/Tools/Demo
43284 04d473e883df build jedit as part of regular startup script (in that case depending on jedit_build component); wenzelm parents: 42105 diff changeset	3	src/Tools/jEdit
74011 1d366486a812 clarified component setup for old graph browser; wenzelm parents: 73691 diff changeset	4	src/Tools/GraphBrowser
49558 af7b652180d5 minimal component and build setup for graphview; wenzelm parents: 48857 diff changeset	5	src/Tools/Graphview
74039 8c213672f6f3 clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L"); wenzelm parents: 74011 diff changeset	6	src/Tools/Setup
64622 529bbb8977c7 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; wenzelm parents: 59810 diff changeset	7	src/Tools/VSCode
46318 8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	8	src/HOL/Mutabelle
8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	9	src/HOL/Library/Sum_of_Squares
59810 e749a0f2f401 HOL-SPARK .prv files are subject to system option spark_prv; wenzelm parents: 59480 diff changeset	10	src/HOL/SPARK
52639 df830310e550 system options for Isabelle/HOL proof tools; wenzelm parents: 52638 diff changeset	11	src/HOL/Tools
46318 8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	12	src/HOL/TPTP

author	Simon Wimmer <wimmers@in.tum.de>
	Thu, 18 Apr 2024 17:53:14 +0200
changeset 80137	0c51e0a6bc37
parent 79058	f13390b2c1ee
permissions	-rw-r--r--