[PPL-devel] [GIT] ppl/ppl(master): TODO item

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: 9a73972ad2e6a50c0a305869b16521c5335cd94c
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a73972ad2e6a50c0a305869b16521c5335cd94c

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Mar 25 14:09:14 2009 +0000

TODO item
- Check the configuration dependent documentation for Prolog,
done and removed.

---

 TODO |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/TODO b/TODO
index 3e5ca97..92da786 100644
--- a/TODO
+++ b/TODO
@@ -8,7 +8,6 @@ Enhancements for PPL 0.10.1 or later versions
   or not, with failure or not), the latter `make check' can succeed
   without testing anything.
 - Do not enable the Prolog interfaces by default in the release tarballs.
-- Check the configuration dependent documentation for Prolog,
 
 
 Enhancements for PPL 0.11 or later versions