modernized Isar_Document;

--- 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 *)

--- 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 */