# HG changeset patch # User kleing # Date 944741472 -3600 # Node ID 8444b282a7a7f336b81ca7a5cc7cf2b4b0a5edd2 # Parent 9128e934bf51feea3088024f5ead8cc2b431f9fe full url to local (munich) page diff -r 9128e934bf51 -r 8444b282a7a7 Admin/page/main-content/index.content --- a/Admin/page/main-content/index.content Thu Dec 09 13:10:39 1999 +0100 +++ b/Admin/page/main-content/index.content Thu Dec 09 13:11:12 1999 +0100 @@ -22,7 +22,7 @@ href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Isabelle at Cambridge -