isabelle: src/Tools/ROOT@fe8d0f4da0e6 (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
56276 9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	7	session SML in SML = Pure +
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	8	theories
9e2d5e3debd3 some SML examples; wenzelm parents: 53166 diff changeset	9	Examples
69222 8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	10
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	11	session Haskell in Haskell = Pure +
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	12	theories
8365124a86ae support for Isabelle tool development in Haskell; wenzelm parents: 69179 diff changeset	13	Haskell
69444 c3c9440cbf9b more formal Haskell project setup, with dependencies on packages from "stackage"; wenzelm parents: 69241 diff changeset	14	theories [condition = ISABELLE_GHC_STACK]
69241 5426d266dcc5 clarified names; wenzelm parents: 69225 diff changeset	15	Test

author	Kevin Kappelmann <kevin.kappelmann@tum.de>
	Thu, 08 Jul 2021 22:58:48 +0200
changeset 73937	fe8d0f4da0e6
parent 70853	c92ae7b0f3f1
child 74105	d3d6e01a6b00
child 74189	d4af818e0880
permissions	-rw-r--r--