Installer une nouvelle version
Installer une nouvelle version Pour obtenir la nouvelle version des miastools.plt qui contient toutes les adjonctions à DrScheme spécifiques à l'enseignement « Programmation récursive » alors CLIQUEZ ICI!
Le plus simple est de cliquer sur le lien précédent en utilisant DrScheme lui-même! Vous pouvez aussi le faire à la main en demandant l'url suivante:
http://www.infop6.jussieu.fr/lmd/2004/licence/ue/prec-2004oct/public/common/miastools.pltà l'aide du menu File puis Open URL.... Lorsque DrScheme va chercher un fichier de suffixe .plt, il vous propose de l'installer. Confirmez-lui alors que c'est ce que vous souhaitez. Cette méthode est valable pour Linux, Mac et Windows.
Si vous avez préalablement installé DrScheme sous un compte (root, par exemple) autre que celui que vous utilisez présentement, il vous faudra pour installer les nouvelles versions des outils, disposer des droits d'écriture sur les fichiers de DrScheme. Le message d'erreur provenant de l'installateur de DrScheme vous en dira plus.