isabelle: src/Tools/ROOT@bf2fecda8383 (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]
bf2fecda8383 support for Isabelle tools in Haskell; wenzelm parents: 69222 diff changeset	16	Build

author	wenzelm
	Sat, 03 Nov 2018 19:33:15 +0100
changeset 69225	bf2fecda8383
parent 69222	8365124a86ae
child 69241	5426d266dcc5
permissions	-rw-r--r--