2 files changed, 6 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index fae6a85a..1b93514b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2007-08-16  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
+	* TODO: Update
+
+2007-08-16  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
 	* configure.ac.pamphlet: Don't error out if noweb source files
 	are present when no executable is available.
 	* configure.ac.: Regenerate.
diff --git a/TODO b/TODO
index 8b57d4a3..11e9a4e2 100644
--- a/TODO
+++ b/TODO
@@ -6,6 +6,8 @@
 * Better support on Windows platform (MinGW/MSYS)
 * Modernize algebras
 * Better documentations
+* Find better documentation tools and formats that do not get in
+  the way of building the system on more platforms.
 * Interfaces to mainstream programming languages
 * Improve Boot, Spad
 * Integrate to development environments