isabelle: src/Pure/Sessions.thy@90acc6ce5beb (annotated)

68189 6163c90694ef tuned headers; wenzelm parents: 67215 diff changeset	1	(* Title: Pure/Sessions.thy
67215 03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	2	Author: Makarius
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	3
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	4	PIDE markup for session ROOT.
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	5	*)
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	6
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	7	theory Sessions
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	8	imports Pure
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	9	keywords "session" :: thy_decl
68292 7ca0c23179e6 support 'export_files' in session ROOT; wenzelm parents: 68189 diff changeset	10	and "description" "options" "sessions" "theories"
7ca0c23179e6 support 'export_files' in session ROOT; wenzelm parents: 68189 diff changeset	11	"document_files" "export_files" :: quasi_command
67215 03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	12	and "global"
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	13	begin
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	14
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	15	ML \<open>
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	16	Outer_Syntax.command \<^command_keyword>\<open>session\<close> "PIDE markup for session ROOT"
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	17	Sessions.command_parser;
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	18	\<close>
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	19
03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: diff changeset	20	end

author	wenzelm
	Wed, 07 Aug 2019 09:28:32 +0200
changeset 70477	90acc6ce5beb
parent 68292	7ca0c23179e6
child 70668	9cac4dec0da9
permissions	-rw-r--r--