#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