Shaun Amott
|
b194feb0a6
|
Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX
PR: ports/99341
Submitted by: shaun (me)
Approved by: ahze (mentor)
|
2006-06-23 02:29:06 +00:00 |
|
Edwin Groothuis
|
a2b985d4dc
|
add SHA256 checksum
|
2006-06-07 14:19:41 +00:00 |
|
Sergey Matveychuk
|
b445a12fa5
|
- Update to 2005
PR: ports/94671
Submitted by: maintainer
|
2006-05-01 18:01:58 +00:00 |
|
Simon Barner
|
80bd7289ee
|
Add isabelle 2004, a generic proof assistant.
PR: 84859
Submitted by: Timothy Bourke <timbob@bigpond.com>
|
2005-09-01 10:03:58 +00:00 |
|