Utilisation de MikteX

MikteX est un éditeur Latex comportant un gestionnaire de package. Ce gestionnaire permet de mettre à jour/installer des packages dans cet éditeur.

Afin d'utiliser ce gestionnaire, il est nécessaire de configurer l'usage du proxy. Cette configuration est à réaliser comme suit:

Dans le menu “démarrer” windows, sélectionne “tous les programmes” > MikteX > Maintenance > Update

Cliquez sur “Connection Settings …”

Entrez:
proxy-rech port 3128 pour une machine du personnel
proxy-enseig port 3128 pour une machine enseignement

Sélectionnez les packages à ajouter