isabelle: src/Pure/Tools/ROOT.ML@a010aab5bed0 (annotated)

16781 663235466562 - introduce Pure/Tools directory obua parents: diff changeset	1	(* Title: Pure/Tools/ROOT.ML
16842 5979c46853d1 tuned; wenzelm parents: 16781 diff changeset	2
5979c46853d1 tuned; wenzelm parents: 16781 diff changeset	3	Miscellaneous tools and packages for Pure Isabelle.
16781 663235466562 - introduce Pure/Tools directory obua parents: diff changeset	4	*)
663235466562 - introduce Pure/Tools directory obua parents: diff changeset	5
24046 10f681043e07 added Tools/named_thms.ML; wenzelm parents: 23614 diff changeset	6	use "named_thms.ML";
25525 d6b898681fc7 added Tools/isabelle_process.ML; wenzelm parents: 24280 diff changeset	7	use "isabelle_process.ML";
24046 10f681043e07 added Tools/named_thms.ML; wenzelm parents: 23614 diff changeset	8
23614 4724a6b90af4 moved General/xml.ML to Tools/xml.ML; wenzelm parents: 23174 diff changeset	9	(basic XML support)
22208 2d6e8cf48670 shifted import order haftmann parents: 22023 diff changeset	10	use "xml_syntax.ML";
20708 29c1754b250f changed order haftmann parents: 20657 diff changeset	11
29105 8f38bf68d42e moved value.ML to src/Tools haftmann parents: 28952 diff changeset	12	(quickcheck needed here because of pg preferences)
8f38bf68d42e moved value.ML to src/Tools haftmann parents: 28952 diff changeset	13	use "../../Tools/quickcheck.ML"