isabelle: etc/components@ba735ac9044a (annotated)

32482 236fa33784de code generator is now a separate component haftmann parents: 32394 diff changeset	1	src/Tools/Code
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
33817 f6a4da31f2f1 WWW_Find component: find_theorems via web browser kleing parents: 32618 diff changeset	4	src/Tools/WWW_Find
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
38048 9eda375ec19d updated component name blanchet parents: 36898 diff changeset	8	src/HOL/Tools/ATP
46318 8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	9	src/HOL/Tools/Predicate_Compile
50220 90280d85cd03 moved MaSh's Python code into Isabelle blanchet parents: 49558 diff changeset	10	src/HOL/Tools/Sledgehammer/MaSh
36898 8e55aa1306c5 integrated SMT into the HOL image boehmes parents: 35947 diff changeset	11	src/HOL/Tools/SMT
46318 8038d050ff15 moved "nitrox" to TPTP blanchet parents: 43284 diff changeset	12	src/HOL/TPTP