Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isatool not in 2009-1 distribution package?


view this post on Zulip Email Gateway (Aug 18 2022 at 15:20):

From: Alfio Martini <alfio.martini@acm.org>
Hi,

Sending this again.

Cheers

---------- Forwarded message ----------
From: Alfio Martini <alfio.martini@acm.org>
Date: Wed, May 19, 2010 at 3:21 PM
Subject: Isatool not in 2009-1 distribution package?
To: cl-isabelle-users@lists.cam.ac.uk

Dear Isabelle users,

Has something changed with isatool in Isabelle2009-1? All of my
installation works fine, but when I come to use the document
preparation stuff
my command line tells me the file isatool no longer exists. Indeed, it
doesn't exist in the same place as it did for Isabelle2008, which was

IsabelleHOME/bin/

(the file isabelle-interface is also not present in the newer
version). I did this installation a couple of months ago...

Can someone help me on this?

All the best!

--
Alfio Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Porto Alegre - RS - Brasil

--
Alfio Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Porto Alegre - RS - Brasil

view this post on Zulip Email Gateway (Aug 18 2022 at 15:21):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Alfio,

"isatool" is no just "isabelle"; the former wrapper script "Isabelle"
is available as "isabelle emacs".

Hope this helps,
Florian
signature.asc


Last updated: Mar 29 2024 at 04:18 UTC