Tilman Keskinoz
|
5c022945ad
|
Unbreak by updating to 20071011
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/
|
2007-12-12 12:35:43 +00:00 |
|
Tilman Keskinoz
|
9d54920112
|
Mark BROKEN, while i am trying to figure out, why the binary changed.
Reported by: pointyhat
|
2007-10-28 12:45:04 +00:00 |
|
Tilman Keskinoz
|
ec9e845bdc
|
Fix "extract" by creating a WRKDIR
Reported by: pointyhat
|
2007-06-02 17:27:15 +00:00 |
|
Tilman Keskinoz
|
935f7ddc97
|
Add dlv to LEGAL, no information about redistribution
|
2007-06-01 18:10:41 +00:00 |
|
Tilman Keskinoz
|
6ba4589f57
|
Add dlv, a disjunctive Datalog System
|
2007-06-01 17:16:40 +00:00 |
|