18:34 makc 

Update to 2009.2

PR:             ports/149736
Submitted by:   Timothy Beyer (maintainer)

22:23 miwi 

- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)

04:33 edwin 

[MAINTAINER] math/isabelle: update from 2007 to 2008

        Updates the port to the latest Isabelle release. It does
        not seem worth the effort to continually patch the bash
        script files to make them work under sh, hence the large
        number of removed files.

PR:             ports/126067
Submitted by:   Timothy Bourke <timbob@bigpond.com>

12:15 rafan 

- Update to 2007

PR:             ports/121000
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

14:17 edwin 

add SHA256 checksum

18:01 sem 

- Update to 2005

PR:             ports/94671
Submitted by:   maintainer

10:03 barner 

Add isabelle 2004, a generic proof assistant.

PR:             84859
Submitted by:   Timothy Bourke <timbob@bigpond.com>