Admin/website/dist/documentation.html

           <ul>
             <li><a href="//dist/packages/Isabelle/ANNOUNCE">ANNOUNCE</a></li>
             <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>
         <p>The <a href=
             "http://isabelle.in.tum.de/coursematerial/">course material</a> page makes