aboutsummaryrefslogtreecommitdiff
path: root/lang/dlv/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Update to more recent version.Tilman Keskinoz2012-06-211-5/+4
* Layout of the MASTER_SITE changed. Adjust URLsTilman Keskinoz2009-08-311-1/+2
* Unbreak by updating to 20071011Tilman Keskinoz2007-12-121-2/+1
* Mark BROKEN, while i am trying to figure out, why the binary changed.Tilman Keskinoz2007-10-281-0/+1
* 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-011-0/+27