# HG changeset patch
# User wenzelm
# Date 1258729694 -3600
# Node ID 24090eae50b6c6511159259af8a3e948b7e45c3d
# Parent  e332b08bf0f375a8c97ad667fde0f17ca36c24e0
standardized headers;

diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/echo.ML
--- a/src/Tools/WWW_Find/echo.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/echo.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,7 +1,7 @@
-(*  Title:      echo.ML
+(*  Title:      Tools/WWW_Find/echo.ML
     Author:     Timothy Bourke, NICTA
 
-    Install simple echo server.
+Install simple echo server.
 *)
 
 local
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/find_theorems.ML
--- a/src/Tools/WWW_Find/find_theorems.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/find_theorems.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,7 +1,7 @@
-(*  Title:      find_theorems.ML
+(*  Title:      Tools/WWW_Find/find_theorems.ML
     Author:     Timothy Bourke, NICTA
 
-    Simple find_theorems server
+Simple find_theorems server.
 *)
 
 local
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/http_status.ML
--- a/src/Tools/WWW_Find/http_status.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/http_status.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,8 +1,9 @@
-(*  Title:      http_status.ML
+(*  Title:      Tools/WWW_Find/http_status.ML
     Author:     Timothy Bourke, NICTA
 
 HTTP status codes and reasons.
 *)
+
 signature HTTP_STATUS =
 sig
   type t
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/http_util.ML
--- a/src/Tools/WWW_Find/http_util.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/http_util.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,8 +1,9 @@
-(*  Title:      http_util.ML
+(*  Title:      Tools/WWW_Find/http_util.ML
     Author:     Timothy Bourke, NICTA
 
 Rudimentary utility functions for HTTP.
 *)
+
 signature HTTP_UTIL =
 sig
   val crlf : string
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/mime.ML
--- a/src/Tools/WWW_Find/mime.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/mime.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      mime_types.ML
+(*  Title:      Tools/WWW_Find/mime.ML
     Author:     Timothy Bourke, NICTA
 
 Rudimentary support for mime_types.
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/scgi_req.ML
--- a/src/Tools/WWW_Find/scgi_req.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/scgi_req.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      parse_scgi_req.ML
+(*  Title:      Tools/WWW_Find/scgi_req.ML
     Author:     Timothy Bourke, NICTA
 
 Parses an SCGI (Simple Common Gateway Interface) header.
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/scgi_server.ML
--- a/src/Tools/WWW_Find/scgi_server.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/scgi_server.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      scgi_echo.ML
+(*  Title:      Tools/WWW_Find/scgi_server.ML
     Author:     Timothy Bourke, NICTA
 
 Simple SCGI server.
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/socket_util.ML
--- a/src/Tools/WWW_Find/socket_util.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/socket_util.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      socket_util.ML
+(*  Title:      Tools/WWW_Find/socket_util.ML
     Author:     Emden R. Gansner and John H. Reppy
                 SML Basis Library, section 10
 
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/unicode_symbols.ML
--- a/src/Tools/WWW_Find/unicode_symbols.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/unicode_symbols.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,7 +1,7 @@
-(*  Title:      Pure/Thy/unicode_symbols.ML
+(*  Title:      Tools/WWW_Find/unicode_symbols.ML
     Author:     Timothy Bourke, NICTA
 
-Parse the etc/symbols file.
+Parse the ISABELLE_HOME/etc/symbols file.
 *)
 
 signature UNICODE_SYMBOLS =
@@ -14,7 +14,7 @@
 val utf8              : int list -> string
 end;
 
-structure UnicodeSymbols (*: UNICODE_SYMBOLS*) =
+structure UnicodeSymbols : UNICODE_SYMBOLS =
 struct
 
 local (* Lexer *)
diff -r e332b08bf0f3 -r 24090eae50b6 src/Tools/WWW_Find/xhtml.ML
--- a/src/Tools/WWW_Find/xhtml.ML	Fri Nov 20 15:48:36 2009 +0100
+++ b/src/Tools/WWW_Find/xhtml.ML	Fri Nov 20 16:08:14 2009 +0100
@@ -1,8 +1,9 @@
-(*  Title:      xhtml.ML
+(*  Title:      Tools/WWW_Find/xhtml.ML
     Author:     Timothy Bourke, NICTA
 
 Rudimentary XHTML construction.
 *)
+
 signature XHTML =
 sig
   type attribute