isabelle: src/Pure/ROOT@599b6d0d199b (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 =
69272 15e9ed5b28fb isabelle update_cartouches -t; wenzelm parents: 68710 diff changeset	4	description \<open>
62944 3ee643c5ed00 more standard session build process, including browser_info; wenzelm parents: 62887 diff changeset	5	The Pure logical framework
69272 15e9ed5b28fb isabelle update_cartouches -t; wenzelm parents: 68710 diff changeset	6	\<close>
68710 3db37e950118 always export Pure theory; wenzelm parents: 67215 diff changeset	7	options [threads = 1, export_theory]
62868 61a691db1c4d support for ML project ROOT file, with imitation of ML "use" commands; wenzelm parents: 62866 diff changeset	8	theories
65374 a5b38d8d3c1e tuned syntax; wenzelm parents: 64314 diff changeset	9	Pure (global)
65473 b47373f52451 more global theories; wenzelm parents: 65374 diff changeset	10	ML_Bootstrap (global)
67215 03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: 65473 diff changeset	11	Sessions