isabelle: src/Tools/ROOT@50f18a822ee9 (annotated)

69179 dff89effe26b proper chapter; wenzelm parents: 62354 diff changeset	1	chapter Tools
dff89effe26b proper chapter; wenzelm parents: 62354 diff changeset	2
70853 c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	3	session Tools = Pure +
c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	4	theories
c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	5	Code_Generator
c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 diff changeset	6
53166 1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	7	session Spec_Check in Spec_Check = Pure +
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	8	theories
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	9	Spec_Check
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	10	Examples
1266b6208a5b missing ROOT (cf. beb4ee344c22); wenzelm parents: diff changeset	11
56276 9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	12	session SML in SML = Pure +
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	13	theories
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	14	Examples
69222 8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	15
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	16	session Haskell in Haskell = Pure +
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	17	theories
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	18	Haskell
69444 c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69241 diff changeset	19	theories [condition = ISABELLE_GHC_STACK]
69241 5426d266dcc5 clarified names; wenzelm parents: 69225 diff changeset	20	Test

author	nipkow
	Fri, 11 Dec 2020 17:58:01 +0100
changeset 72884	50f18a822ee9
parent 70853	c92ae7b0f3f1
child 73937	fe8d0f4da0e6
permissions	-rw-r--r--