summaryrefslogtreecommitdiff
path: root/lang/dlv (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix "extract" by creating a WRKDIRTilman Keskinoz2007-06-021-0/+2
* Add dlv to LEGAL, no information about redistributionTilman Keskinoz2007-06-011-0/+1
* Add dlv, a disjunctive Datalog SystemTilman Keskinoz2007-06-013-0/+41