isabelle: etc/components@5ff9fe3fee66 (annotated)

56988 e8c0d894a205 tuned comments; wenzelm parents: 56738 diff changeset	1	#hard-wired components
43284 04d473e883df build jedit as part of regular startup script (in that case depending on jedit_build component); wenzelm parents: 42105 diff changeset	2	src/Tools/jEdit
49558 af7b652180d5 minimal component and build setup for graphview; wenzelm parents: 48857 diff changeset	3	src/Tools/Graphview
64622 529bbb8977c7 more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; wenzelm parents: 59810 diff changeset	4	src/Tools/VSCode
46318 8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	5	src/HOL/Mirabelle
8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	6	src/HOL/Mutabelle
8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	7	src/HOL/Library/Sum_of_Squares
59810 e749a0f2f401 HOL-SPARK .prv files are subject to system option spark_prv; wenzelm parents: 59480 diff changeset	8	src/HOL/SPARK
52639 df830310e550 system options for Isabelle/HOL proof tools; wenzelm parents: 52638 diff changeset	9	src/HOL/Tools
38048 9eda375ec19d updated component name blanchet parents: 36898 diff changeset	10	src/HOL/Tools/ATP
46318 8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	11	src/HOL/TPTP