Edits

OpenJML · Dec 18, 2024 · 69c9722 · 69c9722
1 parent 2669c0e
commit 69c9722
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/documentation/index.html b/documentation/index.html
@@ -27,7 +27,6 @@ <h2>Online Resources</h2>
       <li><a href="JML_Reference_Manual.pdf">Current JML Reference Manual -- 2nd edition (in progress)</a></li>
       <li><a href="https://github.com/OpenJML/OpenJML">OpenJML github project site</a></li>
       <li><a href="https://github.com/OpenJML/OpenJML/issues">OpenJML Issues</a></li>
-      <li><a href="https://github.com/OpenJML/OpenJML/wiki">OpenJML Developer Wiki</a></li>
       <li><a href="https://www.eecs.ucf.edu/~leavens/JML/jmlrefman/jmlrefman_toc.html">Old JML Reference Manual</a> (being replaced by the 2nd edition) <a href="http://www.jmlspecs.org/refman/jmlrefman.pdf">[PDF]</a></li>
       <li><a href="http://jmlspecs.org">JML project site</a>,
       which includes numerous academic papers about JML and tools</li>
@@ -37,8 +36,8 @@ <h2>Resources for developers</h2>
       <ul>
       <li><a href="https://github.com/OpenJML/OpenJML">OpenJML github project site</a></li>
       <li><a href="https://github.com/OpenJML/OpenJML/issues">OpenJML Issues</a></li>
-      <li><a href="https://github.com/OpenJML/OpenJML/issues">OpenJML Issues</a></li>
-      <li><a href="http://jmlspecs.sourceforge.net">old OpenJML web site</a> (in transition to this git-based site)</li>
+      <li><a href="https://github.com/OpenJML/OpenJML/wiki">OpenJML Developer Wiki</a></li>
+      <li><a href="http://jmlspecs.sourceforge.net">old OpenJML web site</a> (deprecated in favor of the github-based site)</li>
       </ul>
 
       <h2>Third-party resources</h2>