New Ticket     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #19836 (closed update: fixed)

Opened 3 years ago

Last modified 3 years ago

New isabelle version

Reported by: Lars.Rasmusson@… Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 1.7.1
Keywords: Cc:
Port: isabelle

Description

there is a new version out of the proof assistant isabelle, isabelle2009

see  http://isabelle.in.tum.de/dist/Isabelle/NEWS

Change History

Changed 3 years ago by raimue@…

  • cc mww removed
  • owner changed from macports-tickets@… to mww@…
  • port set to isabelle

Changed 3 years ago by mww@…

  • status changed from new to closed
  • resolution set to fixed

updated!

Changed 3 years ago 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

Note: See TracTickets for help on using tickets.