--- 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.
--- 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>
--- 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>
--- 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>.