[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                  |  
---------------------------------------+------------------------------------
Changes (by mww@…):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 updated!

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