1La chaleur
1Répondre
Le curseur de Proof General recouvre mon code lorsqu'il est utilisé dans le terminal
1La chaleur
2Répondre
Comment contrôler emacs pour fractionner la fenêtre lors de l'interprétation Coq
2La chaleur
1Répondre
Comment dire Proof General que ".csv"! = ".v"
9La chaleur
1Répondre
Les glyphes Unicode pour les mots-clés et les opérateurs dans Coq/Proof General sous Emacs
4La chaleur
3Répondre
Comment désactiver le mode Verilog dans emacs?
4La chaleur
1Répondre
Comment afficher les parenthèses autour des hypothèses dans Isabelle/jEdit?
5La chaleur
2Répondre