#19836 closed update (fixed)
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
Change History (3)
comment:1 Changed 15 years ago by raimue (Rainer Müller)
| Cc: | mww removed |
|---|---|
| Owner: | changed from macports-tickets@… to mww@… |
| Port: | isabelle added |
comment:2 Changed 15 years ago by mww@…
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:3 Changed 15 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.
updated!