
diff -r 3cab8dad5b40 -r 9cac4dec0da9 src/Pure/Sessions.thy
--- a/src/Pure/Sessions.thy	Fri Sep 06 20:29:09 2019 +0200
+++ b/src/Pure/Sessions.thy	Sat Sep 07 12:11:42 2019 +0200
@@ -7,9 +7,9 @@
 theory Sessions
   imports Pure
   keywords "session" :: thy_decl
-    and "description" "options" "sessions" "theories"
+    and "description" "directories" "options" "sessions" "theories"
       "document_files" "export_files" :: quasi_command
-    and "global"
+    and "global" "overlapping"
 begin
 
 ML \<open>




