Précédent Index Suivant

(re-)lancer et quitter DrScheme

 

 
Voici comment lancer et stopper DrScheme.
 
Détails de lancement  
Pour lancer DrScheme, dès lors qu'il est installé, il suffit, sous Linux, d'émettre la commande:
 
drscheme & 

Sous Windows, cliquez dans le menu « Démarrer », puis « programmes » puis le sous-menu « PLT Scheme » l'entrée « DrScheme » pour lancer DrScheme.
 
Détails d'arrêt  
Lorsque vous avez fini de travailler avec DrScheme, choisissez l'entrée Quit du menu File pour en finir ou cliquez sur la case de fermeture de la fenêtre (la première méthode est toujours la meilleure!)


Auteur(s): Christian.Queinnec@lip6.fr.Mainteneur de la page: Christian.Queinnec@lip6.fr.
 

Précédent Index Suivant