changeset 62944 | 3ee643c5ed00 |
parent 62191 | eb9f5ee249f9 |
child 71924 | e5df9c8d9d4b |
--- a/lib/html/library_index_content.template Sun Apr 10 21:30:48 2016 +0200 +++ b/lib/html/library_index_content.template Sun Apr 10 21:46:12 2016 +0200 @@ -46,6 +46,8 @@ <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li> + <li><a href="Pure/Pure/index.html">The Pure logical framework</a></li> + <li><a href="Doc/index.html">Sources of Documentation</a></li> </ul> </li>