Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed broken mailto: link
authorhaftmann
Tue, 04 Oct 2005 10:52:43 +0200
changeset 17747 1ce1f62768bd
parent 17746 af59c748371d
child 17748 c93279ba600a
fixed broken mailto: link
src/HOL/TLA/README.html file | annotate | diff | comparison | revisions 
--- 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
isabelle