# HG changeset patch
# User wenzelm
# Date 980270234 -3600
# Node ID 4882d65cc71694c2afd984cd4e56284621dc688e
# Parent  69937e62a28ee612b72b8e6d7ea5c7b2ab8699a5
tuned;

diff -r 69937e62a28e -r 4882d65cc716 src/HOL/Unix/document/root.bib
--- a/src/HOL/Unix/document/root.bib	Tue Jan 23 18:13:00 2001 +0100
+++ b/src/HOL/Unix/document/root.bib	Tue Jan 23 18:17:14 2001 +0100
@@ -11,7 +11,7 @@
   title = 	 {Teams as Types --- A Formal Treatment of Authorization in Groupware},
   school = 	 {TU M\"unchen},
   year = 	 2001,
-  note =	 "submitted"}
+  note =	 "Submitted"}
 
 @Manual{Nipkow-et-al:2000:HOL,
   author        = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
diff -r 69937e62a28e -r 4882d65cc716 src/HOL/Unix/document/root.tex
--- a/src/HOL/Unix/document/root.tex	Tue Jan 23 18:13:00 2001 +0100
+++ b/src/HOL/Unix/document/root.tex	Tue Jan 23 18:17:14 2001 +0100
@@ -54,8 +54,7 @@
 \cite{Unix-heritage} for further historical background information.  Here is a
 recent account of the philosophical principles behind the Unix way of software
 and systems engineering.\footnote{This has appeared on \emph{Slashdot} on
-  25-March-2000, see \url{http://slashdot.com}, as well as
-  \url{http://www.cix.co.uk/~dunnp/unix-philosophy.html}.}
+  25-March-2000, see \url{http://slashdot.com}.}
 
 {\small
 \begin{verbatim}