3 commits

Author	SHA1	Message	Date
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