Edwin Groothuis
|
c92c635b24
|
SHA256ify
Approved by: krion@
|
2006-01-22 12:42:24 +00:00 |
|
Trevor Johnson
|
8232e82f85
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
|
Pav Lucistnik
|
13ba5647d6
|
- Update to 2.6
PR: ports/62205
Submitted by: Christopher Rued <c.rued@xsb.com> (maintainer)
|
2004-02-01 17:50:56 +00:00 |
|
Ying-Chieh Liao
|
041df375fc
|
upgrade to 2.5
PR: 39474
Submitted by: maintainer
|
2002-06-20 19:53:10 +00:00 |
|
Ying-Chieh Liao
|
07ab3ccfac
|
add xsb
A tabled Logic Programming and Deductive Database system
PR: 29322
Submitted by: Christopher Rued <c.rued@xsb.com>
|
2001-08-18 08:42:17 +00:00 |
|