aboutsummaryrefslogtreecommitdiff
path: root/lang/dlv
Commit message (Collapse)AuthorAgeFilesLines
* Unbreak by updating to 20071011Tilman Keskinoz2007-12-122-5/+4
| | | | | | | Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/ Notes: svn path=/head/; revision=203250
* Mark BROKEN, while i am trying to figure out, why the binary changed.Tilman Keskinoz2007-10-281-0/+1
| | | | | | | Reported by: pointyhat Notes: svn path=/head/; revision=202218
* Fix "extract" by creating a WRKDIRTilman Keskinoz2007-06-021-0/+2
| | | | | | | Reported by: pointyhat Notes: svn path=/head/; revision=192592
* Add dlv to LEGAL, no information about redistributionTilman Keskinoz2007-06-011-0/+1
| | | | Notes: svn path=/head/; revision=192548
* Add dlv, a disjunctive Datalog SystemTilman Keskinoz2007-06-013-0/+41
Notes: svn path=/head/; revision=192545