From 91772f2dca39711b709a2651bfe68f348c9b99ad Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 16 Aug 2007 23:57:28 +0000
Subject: 	* TODO: Update

---
 ChangeLog | 4 ++++
 TODO      | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index fae6a85a..1b93514b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+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
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
-- 
cgit v1.2.3