#19836: New isabelle version ---------------------------------------+------------------------------------ Reporter: Lars.Rasmusson@… | Owner: mww@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.7.1 Resolution: fixed | Keywords: Port: isabelle | ---------------------------------------+------------------------------------ Comment(by Lars.Rasmusson@…): Thanks! It works great! A hint for those using ProofGeneral (the Emacs- based editor) is that the command isatool is now called isabelle, so when ProofGeneral asks for isatool, just give it the path to isabelle (/opt/local/bin/isabelle) Cheers -- Ticket URL: <http://trac.macports.org/ticket/19836#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS