New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Changeset 79578

Timestamp:
06/19/11 03:23:27 (4 years ago)
Author:
mww@…
Message:

remove isabelle ports -- heavily outdated

Location:
trunk/dports/math
Files:
2 deleted

Note: See TracChangeset for help on using the changeset viewer.