aboutsummaryrefslogtreecommitdiffstats
path: root/lang/dlv
Commit message (Expand)AuthorAgeFilesLines
* Fix "extract" by creating a WRKDIRarved2007-06-031-0/+2
* Add dlv to LEGAL, no information about redistributionarved2007-06-021-0/+1
* Add dlv, a disjunctive Datalog Systemarved2007-06-023-0/+41