# HG changeset patch
# User webertj
# Date 1180804204 -7200
# Node ID 769f7762f531db769768337283d4d45cde7d62a4
# Parent  209e32e7c91e8b18bb0f5f5d621e68e8dd162c75
cosmetic

diff -r 209e32e7c91e -r 769f7762f531 Admin/isatest/annomaly.ML
--- a/Admin/isatest/annomaly.ML	Sat Jun 02 18:35:38 2007 +0200
+++ b/Admin/isatest/annomaly.ML	Sat Jun 02 19:10:04 2007 +0200
@@ -1,4 +1,9 @@
-use "ML-Systems/smlnj.ML";                                      
+(*  Title:      Admin/isatest/annomaly.ML
+    ID:         $Id$
+    Author:     Martin von Gagern <martin@von-gagern.net>
+*)
+
+use "ML-Systems/smlnj.ML";
 
 local
 
@@ -16,12 +21,11 @@
 
 in
 
-  fun use_text name p v t = 
-      let val name = case name of "" => "unnamed" | name => name
-	  val arcs = rewrite (OS.Process.getEnv "ISABELLE_HOME",
-			      #arcs (OS.Path.fromString name))
-	  val _    = AnnoMaLy.nameNextStream ("isabelle" :: arcs)
-      in  smlnj_use_text name p v t
-      end
+  fun use_text name p v t =
+    let val name = case name of "" => "unnamed" | name => name
+        val arcs = rewrite (OS.Process.getEnv "ISABELLE_HOME",
+                            #arcs (OS.Path.fromString name))
+        val _    = AnnoMaLy.nameNextStream ("isabelle" :: arcs)
+    in  smlnj_use_text name p v t  end
 
 end;