aboutsummaryrefslogtreecommitdiff
path: root/lang/dlv/distinfo
Commit message (Expand)AuthorAgeFilesLines
* - update to 20121217Ruslan Makhmatkhanov2013-03-101-2/+2
* Update to more recent version.Tilman Keskinoz2012-06-211-2/+2
* - remove MD5Olli Hauer2011-07-031-1/+0
* Unbreak by updating to 20071011Tilman Keskinoz2007-12-121-3/+3
* Add dlv, a disjunctive Datalog SystemTilman Keskinoz2007-06-011-0/+3