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