[MacPorts] #19836: New isabelle version

[MacPorts]

#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