ingenierie_de_la_preuve
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
ingenierie_de_la_preuve [2010/06/04 09:33] 2a01:e35:8a04:6650:224:21ff:fee4:3d0a |
ingenierie_de_la_preuve [2019/03/11 15:09] (current) |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| tauto. | tauto. | ||
| Qed. | Qed. | ||
| - | Placer le curseur sur tauto et appuyer sur ctrl-alt- flèche vers la droite. Logiquement le texte jusqu'à tauto doit passer en vert. | + | Placer le curseur sur tauto et appuyer sur le raccourci qui apparait dans le menu "navigation" pour la commande "Go to" (ctrl-alt- flèche vers la droite à priori). |
| - | Si il y a un changement de session x c'est qu'il y a un conflit avec les raccourcis de coqide. | + | Logiquement le texte jusqu'à tauto doit passer en vert. |
| + | |||
| + | {{:snapshot-coqide.png|}} | ||
| + | |||
| + | Si il y a un changement de session X c'est qu'il y a un conflit avec les raccourcis de coqide. | ||
ingenierie_de_la_preuve.1275636832.txt.gz · Last modified: 2019/03/11 15:09 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
