# HG changeset patch
# User haftmann
# Date 1128415963 -7200
# Node ID 1ce1f62768bd5cf89c7e5c01062520540168fd05
# Parent  af59c748371dfcdcc2feb663e362e6714739a6da
fixed broken mailto: link

diff -r af59c748371d -r 1ce1f62768bd src/HOL/TLA/README.html
--- a/src/HOL/TLA/README.html	Tue Oct 04 09:59:01 2005 +0200
+++ b/src/HOL/TLA/README.html	Tue Oct 04 10:52:43 2005 +0200
@@ -62,7 +62,7 @@
 <HR>
 
 <ADDRESS>
-<A HREF="merz@informatik.uni-muenchen.de">Stephan Merz</A>
+<A HREF="mailto:merz@informatik.uni-muenchen.de">Stephan Merz</A>
 </ADDRESS>
 <!-- hhmts start -->
 Last modified: Sat Mar  5 00:54:49 CET 2005