aboutsummaryrefslogtreecommitdiff
path: root/lang/dlv/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Unbreak by updating to 20071011Tilman Keskinoz2007-12-121-3/+3
* Add dlv, a disjunctive Datalog SystemTilman Keskinoz2007-06-011-0/+3