isabelle: src/Tools/ROOT@40a3fc07a587 (annotated)

75992 1f6d79b62222 clarified chapters: de-emphasize minor examples; wenzelm parents: 74199 diff changeset	1	chapter Misc
69179 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
78315 addecc8de2c4 proper system integration and renaming; wenzelm parents: 75992 diff changeset	6	Profiling
70853 c92ae7b0f3f1 clarified sessions/directories; wenzelm parents: 69444 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
74105 d3d6e01a6b00 more operations on types and terms; wenzelm parents: 73937 diff changeset	12	session Haskell in Haskell = HOL +
69222 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	paulson <lp15@cam.ac.uk>
	Wed, 24 Apr 2024 20:56:26 +0100
changeset 80149	40a3fc07a587
parent 78315	addecc8de2c4
permissions	-rw-r--r--