[MacPorts] #19836: New isabelle version

Mon Jun 1 08:50:22 PDT 2009

#19836: New isabelle version
--------------------------------------+-------------------------------------
 Reporter:  Lars.Rasmusson@…          |       Owner:  macports-tickets@…                   
     Type:  update                    |      Status:  new                                  
 Priority:  Normal                    |   Milestone:                                       
Component:  ports                     |     Version:  1.7.1                                
 Keywords:                            |        Port:                                       
--------------------------------------+-------------------------------------
 there is a new version out of the proof assistant isabelle, isabelle2009

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

-- 
Ticket URL: <http://trac.macports.org/ticket/19836>
MacPorts <http://www.macports.org/>
Ports system for Mac OS