isabelle: src/Tools/ROOT@39044da8bb5a (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
69225 bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: 69222 diff changeset	15	theories [condition = ISABELLE_GHC]
69241 5426d266dcc5 clarified names; wenzelm parents: 69225 diff changeset	16	Test

author	wenzelm
	Sun, 11 Nov 2018 12:13:24 +0100
changeset 69283	39044da8bb5a
parent 69241	5426d266dcc5
child 69444	c3c9440cbf9b
permissions	-rw-r--r--