# HG changeset patch
# User wenzelm
# Date 1251809500 -7200
# Node ID 4dab52ca140239a5a46ee60c4b914c0d092b3dff
# Parent  a393b7e2a2f8c3ae8722d9fd945e5674906535ec
modernized Isar_Document;

diff -r a393b7e2a2f8 -r 4dab52ca1402 src/Pure/Isar/isar_document.ML
--- a/src/Pure/Isar/isar_document.ML	Tue Sep 01 14:45:06 2009 +0200
+++ b/src/Pure/Isar/isar_document.ML	Tue Sep 01 14:51:40 2009 +0200
@@ -15,7 +15,7 @@
   val edit_document: document_id -> document_id -> (command_id * command_id option) list -> unit
 end;
 
-structure IsarDocument: ISAR_DOCUMENT =
+structure Isar_Document: ISAR_DOCUMENT =
 struct
 
 (* unique identifiers *)
diff -r a393b7e2a2f8 -r 4dab52ca1402 src/Pure/Isar/isar_document.scala
--- a/src/Pure/Isar/isar_document.scala	Tue Sep 01 14:45:06 2009 +0200
+++ b/src/Pure/Isar/isar_document.scala	Tue Sep 01 14:51:40 2009 +0200
@@ -7,7 +7,7 @@
 package isabelle
 
 
-object IsarDocument
+object Isar_Document
 {
   /* unique identifiers */
 
@@ -17,9 +17,9 @@
 }
 
 
-trait IsarDocument extends Isabelle_Process
+trait Isar_Document extends Isabelle_Process
 {
-  import IsarDocument._
+  import Isar_Document._
 
 
   /* commands */