Discussion :

[MonPireSire]

Bonjour,

Je souhaite utiliser un nouveau package, à savoir fitch (un truc pour faire des déductions naturelles).

http://folk.uio.no/johanw/FitchSty.html

Prob 1 : quand je clique sur download, on m'inscrit seulement le code, sans fichier. Alors, j'ouvre Miktex (j'ai la version la plus récente en version 64 bits), je colle le code et j'enregistre le tout en fichier .sty. Je vais le placer avec les autres packs (dans program files, miktex, tex).

Prob 2 : ça ne fonctionne toujours pas. Je lis un peu et on me dit qu'il faut exécuter l'indexeur de Miktex, à savoir initexmf. J'ouvre ce petit fichier exécutable situé dans le dossier Miktex (dans program files)... et il ne s'ouvre pas! J'ai essayé de l'ouvrir en tant qu'admin, j'ai réessayé d'utiliser le package fitch.sty, mais rien ne fait...

Merci d'avance!

[MonPireSire]

Finalement, j'ai trouvé la réponse à mon problème : il faut exécuter package manager et synchroniser les packages. Merci quand même.