Isabelle
Nicolas FRANCOIS <[email protected]>
| Newsgroups | gmane.linux.debian.user.french |
|---|---|
| Message-ID | <[email protected]> |
Salut. L'un d'entre vous a-t-il réussi à installer Isabelle/HOL sur une Debian récente ? En suivant la procédure sur le site officiel, je n'arrive pas à lancer l'exécutable, et je ne comprends pas pourquoi. D'avance merci pour toute aide :-) \bye -- Nicolas FRANCOIS | /\ http://nicolas.francois.free.fr | |__| X--/\\ We are the Micro$oft. _\_V Resistance is futile. You will be assimilated. darthvader penguin