Rong-En Fan
|
4e2e566447
|
math/isabelle does not build on pointyhat, because the build process
requires a non-standard kernel setting. Mark it as NO_PACKAGE.
Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603
PR: ports/101749
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
|
2006-08-10 12:04:59 +00:00 |
|
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 |
|