--- 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},
--- 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}