Admin/website/dist/documentation.html
changeset 16328 49c1f9dedc56
parent 16238 c1102cdf601f
child 16584 991ecdd985d9
--- a/Admin/website/dist/documentation.html	Thu Jun 09 11:04:02 2005 +0200
+++ b/Admin/website/dist/documentation.html	Thu Jun 09 11:04:54 2005 +0200
@@ -55,6 +55,8 @@
             <li><a href="//dist/packages/Isabelle/README.html">README</a></li>
             <li><a href="//dist/packages/Isabelle/INSTALL">INSTALL</a></li>
             <li><a href="//dist/packages/Isabelle/NEWS">NEWS</a></li>
+            <!-- <li><a href="//dist/packages/Isabelle/COPYRIGHT">COPYRIGHT</a></li> -->
+            <!-- <li><a href="//dist/packages/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li> -->
           </ul>
 
         <h2 id="course_material">Course Material and Exercises</h2>