[doc/fix] correct syntax for numbered lists
authorLaurent Peuch <cortex@worlddomination.be>
Thu, 12 Dec 2019 03:16:01 +0100
changeset 876 669055c70523
parent 875 9aa93973fb42
child 877 d11f34623673
[doc/fix] correct syntax for numbered lists
doc/canonisation.txt
--- a/doc/canonisation.txt	Thu Dec 12 03:14:30 2019 +0100
+++ b/doc/canonisation.txt	Thu Dec 12 03:16:01 2019 +0100
@@ -185,7 +185,7 @@
 Problèmes
 ---------
 
-.1 Les paires de formules suivantes sont considérées comme identiques par
+1. Les paires de formules suivantes sont considérées comme identiques par
    l'algorithme ci-dessus alors qu'elles ne le sont pas:
 
 ::
@@ -207,4 +207,4 @@
                   'nom_nom' :   [(Y, 'jphc', Y, 'ludal')]
                  }
 
-.2 risque de collision dans les noms de variables non sélectionnées (un exemple ?).
\ No newline at end of file
+2. risque de collision dans les noms de variables non sélectionnées (un exemple ?).