| ... | ... | @@ -9,6 +9,9 @@ |
|
|
|
### Passage des traductions en V7.1.1
|
|
|
|
@rkrummeich et @bdavid mettent à jour les fichiers eXX.md et pXXX.md pour que la partie anglaise corresponde à la v7.1.1. Le commit correspondant sera déposé dans le ticket correspondant afin de permettre aux traducteurs de le retrouver facilement et de visualiser seulement les modifications à apporter. [Une page de wiki](Passage-des-traductions-à-la-v7.1.1) va être mise en place (action @bdavid) pour préciser le processus aux traducteurs.
|
|
|
|
|
|
|
|
Il a été noté que sur les logiques de premier ordre, le signe d'[inclusion](https://fr.wikipedia.org/wiki/Inclusion_(mathématiques)) a été remplacé par le signe d'[implication](https://fr.wikipedia.org/wiki/Implication_(logique)), page d'information sur ces logique : https://www.lri.fr/~paulin/Logique/html/cours003.html.
|
|
|
|
Il est possible de réaliser un recherche/remplace sur l'ensemble des fichiers.
|
|
|
|
|
|
|
|
### Traduction par ensemble logique
|
|
|
|
@rkrummeich revient, en lien avec son ticket #113, sur la notion de regroupement et le schéma de @shart :
|
|
|
|
https://miro.com/app/board/o9J_lhjdzRA=/
|
| ... | ... | |
