# HG changeset patch
# User haftmann
# Date 1140162161 -3600
# Node ID 968e95fdbf8a095d53337ad81f7ffb98736332f6
# Parent  6d584f9d20211977d6712e6bbdfb25336112ae6d
updated mailing list archive link

diff -r 6d584f9d2021 -r 968e95fdbf8a Admin/website/README
--- a/Admin/website/README	Fri Feb 17 03:30:50 2006 +0100
+++ b/Admin/website/README	Fri Feb 17 08:42:41 2006 +0100
@@ -112,7 +112,7 @@
 For convenience, there is a completely configured
 website build bed on sunbroy2:
 * log in to sunbroy2
-* go to ~/isabelle/website_build
+* go to ~isabelle/website_build
 * there do an CVS update if desired
 * do "make perms" to set file owner group (isabelle) and permissions
   (rw-rw-r--, rwxrwsr-x)
@@ -121,5 +121,5 @@
 * then do CVS commit
 * for updating the webpage in Munich, just use Admin/mirror-website
 * if the Isabelle distribution files themselves change, some handwired updating
-  is neceassary; however, for casual content changes the build bed should work
-  properly
+  is necessary; however, for casual content changes the build bed should work
+  properly.
diff -r 6d584f9d2021 -r 968e95fdbf8a Admin/website/community.html
--- a/Admin/website/community.html	Fri Feb 17 03:30:50 2006 +0100
+++ b/Admin/website/community.html	Fri Feb 17 08:42:41 2006 +0100
@@ -31,7 +31,7 @@
 
       <p>You may use the mailing list <a href=
           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
-          <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
+          <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss
           problems and results. To subscribe, <a href=
           "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
           contact our robot</a>.</p>
diff -r 6d584f9d2021 -r 968e95fdbf8a Admin/website/documentation.html
--- a/Admin/website/documentation.html	Fri Feb 17 03:30:50 2006 +0100
+++ b/Admin/website/documentation.html	Fri Feb 17 08:42:41 2006 +0100
@@ -33,7 +33,7 @@
     
           <p>You may use the mailing list <a href=
           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
-          <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
+          <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss
           problems and results. To subscribe, <a href=
           "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
           contact our robot</a>.</p>
diff -r 6d584f9d2021 -r 968e95fdbf8a Admin/website/index.html
--- a/Admin/website/index.html	Fri Feb 17 03:30:50 2006 +0100
+++ b/Admin/website/index.html	Fri Feb 17 08:42:41 2006 +0100
@@ -47,14 +47,14 @@
         <h2>Now available: Isabelle2005</h2>
          <p>Some highlights:</p>
               <ul>
-	      <li>Interpretation of locale expressions in theories, locales, and proof contexts.</li>
-	      <li>Substantial library improvements (HOL, HOL-Complex, HOLCF).</li>
-	      <li>Proof tools for transitivity reasoning.</li>
-	      <li>General <code>find_theorems</code> command (by term patterns, as intro/elim/simp rules etc.).</li>
-	      <li>Commands for generating adhoc draft documents.</li>
-	      <li>Support for Unicode proof documents (UTF-8).</li>
-	      <li>Major internal reorganizations and performance improvements.</li>
-	      </ul>
+                <li>Interpretation of locale expressions in theories, locales, and proof contexts.</li>
+                <li>Substantial library improvements (HOL, HOL-Complex, HOLCF).</li>
+                <li>Proof tools for transitivity reasoning.</li>
+                <li>General <code>find_theorems</code> command (by term patterns, as intro/elim/simp rules etc.).</li>
+                <li>Commands for generating adhoc draft documents.</li>
+                <li>Support for Unicode proof documents (UTF-8).</li>
+                <li>Major internal reorganizations and performance improvements.</li>
+              </ul>
 
 <p><a href="//dist/Isabelle/NEWS">[Cumulative NEWS]</a></p>
 
@@ -71,7 +71,7 @@
 <p>
 Use the mailing list <a href=
           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
-          <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
+          <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to
 discuss problems and results.  To subscribe, <a href=
           "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
           contact our robot</a>.