isabelle: src/Tools/ROOT@2136e4670ad2 (annotated)

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

author	wenzelm
	Fri, 11 Oct 2019 21:51:10 +0200
changeset 70839	2136e4670ad2
parent 69444	c3c9440cbf9b
child 70853	c92ae7b0f3f1
permissions	-rw-r--r--