next up previous
Next: Troubleshooting Up: plp A compiler for Previous: Versions of dlv and

What's new?

June 2000
TS started this history.
July 2000
December 2000



Torsten Schaub 2000-12-05