author | wenzelm |
Sun, 20 May 2018 15:37:16 +0200 | |
changeset 68231 | 0004e7a9fa10 |
parent 68189 | 6163c90694ef |
child 68292 | 7ca0c23179e6 |
permissions | -rw-r--r-- |
(* Title: Pure/Sessions.thy Author: Makarius PIDE markup for session ROOT. *) theory Sessions imports Pure keywords "session" :: thy_decl and "description" "options" "sessions" "theories" "document_files" :: quasi_command and "global" begin ML \<open> Outer_Syntax.command \<^command_keyword>\<open>session\<close> "PIDE markup for session ROOT" Sessions.command_parser; \<close> end