Re: Isabelle

Le 20/04/2026 à 04:36, Nicolas FRANCOIS a écrit :
> 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

C'est limite HS, là, mon gars, la petite annonce graveleuse pour 
retrouver cette Isabelle qui t'a tapé dans l'oeil il y a longtemps: tu 
fais baisser le standing de la liste ;-)

Plus sérieusement, parce que je n'avais jamais entendu parler de cette 
Isabelle-là:
- tu as bien récupéré la version 2025-2 et pas une vieille version?
- décompressé dans /usr/local ou ailleurs?
- quels sont les droits des exécutables du répertoire?
- tu as bien un environnement java fonctionnel, avec AWT et Swing?
- tu as bien installé un Texlive fonctionnel?
- il n'y a pas de message d'erreur quand tu lances Isabelle?
- c'est bien de la page https://isabelle.in.tum.de/installation.html que 
tu parles? et pas d'une version antérieure particulière?
- tu invoques bien les commandes telles que décrit dans cette page?

Désolé, je n'ai jamais entendu parler d'Isabelle Le Logiciel auparavant 
(une bretonne?) donc je ne peux pas être d'une aide très appréciable :-)