Email Gateway (Aug 18 2022 at 13:05): Email Gateway (Aug 18 2022 at 13:05):From: Peter Chapman <pc@cs.st-and.ac.uk>
Hi
Has something changed with isatool in Isabelle2008? All of my
installation works fine, but when I come to use the document
preparation stuff
isatool make clean
isatool make
my command line tells me the file isatool no longer exists. Indeed,
it doesn't exist in the same place as it did for Isabelle2007, which was
IsabelleHOME/bin/
(the file isabelle-interface is also not present in the newer version).
I know I can invoke Isabelle more easily now that I could, so do I
have to do something else to invoke the isatool document preparation
tools?
Thanks!
Peter
Email Gateway (Aug 18 2022 at 13:05):From: Makarius <makarius@sketis.net>
This looks more like you are using an unofficial version after
Isabelle2008. Plain "isabelle make" etc. should do the job -- there is
only one script wrapper left and it is called "isabelle".
Makarius
Last updated: May 03 2024 at 12:27 UTC