docs(index.html): Add items' summary

pfitaxel · Jun 3, 2024 · c1ecdcb · c1ecdcb
1 parent a7b64a9
commit c1ecdcb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/static/index.html b/static/index.html
@@ -29,9 +29,9 @@ <h2>Supports de Cours/TD</h2>
   à partir des sources Coq :</p>
 
 <ul>
-<li>Cours 1 : <a href="./ilu3_coq_1.html">ilu3_coq_1.html</a> - <a href="./ilu3_coq_1.v">ilu3_coq_1.v</a></li>
-<li>Cours 2 : <a href="./ilu3_coq_2.html">ilu3_coq_2.html</a> - <a href="./ilu3_coq_2.v">ilu3_coq_2.v</a></li>
-<li>Cours 3 : <a href="./ilu3_coq_3.html">ilu3_coq_3.html</a> - <a href="./ilu3_coq_3.v">ilu3_coq_3.v</a></li>
+<li>Cours 1 : <a href="./ilu3_coq_1.html">ilu3_coq_1.html</a> - <a href="./ilu3_coq_1.v">ilu3_coq_1.v</a> (fragment fonctionnel de Coq)</li>
+<li>Cours 2 : <a href="./ilu3_coq_2.html">ilu3_coq_2.html</a> - <a href="./ilu3_coq_2.v">ilu3_coq_2.v</a> (tactiques de preuve)</li>
+<li>Cours 3 : <a href="./ilu3_coq_3.html">ilu3_coq_3.html</a> - <a href="./ilu3_coq_3.v">ilu3_coq_3.v</a> (modules &amp; types abstraits)</li>
 </ul>
 
 <h2>Environnement de TP</h2>