aboutsummaryrefslogtreecommitdiffstats
path: root/lang/dlv/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Mark BROKEN, while i am trying to figure out, why the binary changed.arved2007-10-281-0/+1
* 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-021-0/+27