Isabelle

From	Nicolas FRANCOIS <nicolas.francois@free.fr>
Newsgroups	linux.debian.user.french
Subject	Isabelle
Date	2026-04-20 04:40 +0200
Message-ID	<MLMIh-gwr4-5@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Show all headers | View raw

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

Back to linux.debian.user.french | Previous | Next — Next in thread | Find similar

Thread

Isabelle Nicolas FRANCOIS <nicolas.francois@free.fr> - 2026-04-20 04:40 +0200
  Re: Isabelle didier gaumet <didier.gaumet@gmail.com> - 2026-04-20 08:10 +0200
  Re: Isabelle Basile STARYNKEVITCH <basile@starynkevitch.net> - 2026-04-20 08:50 +0200
    Re: Isabelle Coralie <coralie@blues-softwares.net> - 2026-04-21 00:20 +0200
      Re: Isabelle Basile STARYNKEVITCH <basile@starynkevitch.net> - 2026-04-21 07:40 +0200
      Re: Isabelle Pierre Malard <plm4@mac.com> - 2026-04-21 08:40 +0200

csiph-web