Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Update to 2.6 | Pav Lucistnik | 2004-02-01 | 7 | -246/+19 |
| | | | | | | | | PR: ports/62205 Submitted by: Christopher Rued <c.rued@xsb.com> (maintainer) Notes: svn path=/head/; revision=99724 | ||||
* | upgrade to 2.5 | Ying-Chieh Liao | 2002-06-20 | 7 | -61/+85 |
| | | | | | | | | PR: 39474 Submitted by: maintainer Notes: svn path=/head/; revision=61647 | ||||
* | add xsb | Ying-Chieh Liao | 2001-08-18 | 6 | -0/+276 |
A tabled Logic Programming and Deductive Database system PR: 29322 Submitted by: Christopher Rued <c.rued@xsb.com> Notes: svn path=/head/; revision=46427 |