isabelle: src/Pure/ROOT@a6304b4664b6 (annotated)

51397 03b586ee5930 support for 'chapter' specifications within session ROOT; wenzelm parents: 50911 diff changeset	1	chapter Pure
03b586ee5930 support for 'chapter' specifications within session ROOT; wenzelm parents: 50911 diff changeset	2
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48732 diff changeset	3	session Pure =
69319 baccaf89ca0d tuned -- refining auto-update 15e9ed5b28fb; wenzelm parents: 69272 diff changeset	4	description "
baccaf89ca0d tuned -- refining auto-update 15e9ed5b28fb; wenzelm parents: 69272 diff changeset	5	The Pure logical framework.
baccaf89ca0d tuned -- refining auto-update 15e9ed5b28fb; wenzelm parents: 69272 diff changeset	6	"
70905 a6304b4664b6 more robust -- avoid interference with Proofterm.proofs := 0 in ML_Bootstrap.thy; wenzelm parents: 70606 diff changeset	7	options [threads = 1]
a6304b4664b6 more robust -- avoid interference with Proofterm.proofs := 0 in ML_Bootstrap.thy; wenzelm parents: 70606 diff changeset	8	theories [export_theory, export_proofs]
a6304b4664b6 more robust -- avoid interference with Proofterm.proofs := 0 in ML_Bootstrap.thy; wenzelm parents: 70606 diff changeset	9	Pure (global)
62868 61a691db1c4d support for ML project ROOT file, with imitation of ML "use" commands; wenzelm parents: 62866 diff changeset	10	theories
65473 b47373f52451 more global theories; wenzelm parents: 65374 diff changeset	11	ML_Bootstrap (global)
67215 03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: 65473 diff changeset	12	Sessions

author	wenzelm
	Fri, 18 Oct 2019 22:45:09 +0200
changeset 70905	a6304b4664b6
parent 70606	4f4ede010687
child 70906	b9567a9f44a0
permissions	-rw-r--r--