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



Hi,

Sending this again.

Cheers


---------- Forwarded message ----------
From: Alfio Martini <alfio.martini at acm.org>
Date: Wed, May 19, 2010 at 3:21 PM
Subject: Isatool not in 2009-1 distribution package?
To: cl-isabelle-users at 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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.