[MacPorts] #19836: New isabelle version

[MacPorts]

#19836: New isabelle version
--------------------------------------+-------------------------------------
 Reporter:  Lars.Rasmusson@…          |       Owner:  mww@…           
     Type:  update                    |      Status:  new             
 Priority:  Normal                    |   Milestone:                  
Component:  ports                     |     Version:  1.7.1           
 Keywords:                            |        Port:  isabelle        
--------------------------------------+-------------------------------------
Changes (by raimue@…):

 * cc: mww (removed)
  * owner:  macports-tickets@… => mww@…
  * port:  => isabelle


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