From 8414b45f48d68b898a6dda27069c377088687fb8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 5 Apr 2008 14:54:35 +0000
Subject: 	* configure.ac.pamphlet (oa_shrlib_flags): Tidy. 
 (oa_shrobj_flags): Likewise. 	* config/var-def.mk (LINK_SHRLIB): Tidy. 
 * INSTALL: Update. 	* TODO: Likewise.

---
 TODO | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

(limited to 'TODO')

diff --git a/TODO b/TODO
index f6a66323..0552b2cb 100644
--- a/TODO
+++ b/TODO
@@ -8,7 +8,6 @@
   application (or as a Firefox extension)
 * Make highlighting more configurable
 * Build domains for theorem proving and proof checking facilities.
-* Support more Lisp systems
 * Better support on Windows platform (MinGW/MSYS)
 * Modernize algebras
 * Better documentations
@@ -19,7 +18,7 @@
 * Integrate to development environments
 
 * Revisit the underlying definition of the types DFlo in foam
-  interface, and Float in OpenAxiom.
+  interface, and DoubleFloat in OpenAxiom.
 
 * Audit all codes that manipulate sockets.
 
@@ -36,17 +35,10 @@
 
 * Document src/scripts/document.in
 
-* cleanup the Makefile pamphlets
-
 * Improve Boot documentation
 
 * Reduce the number of bar Lisp codes to the minimum residual.
 
-* Fix codes in src/interp, src/hyper, and src/hyper/pages/util.ht that 
-  hardcode pathnames.
-  In general, the OpenAxiom system should be able to work properly with
-  relative paths to that it can be "moved" around seamlessly. 
-
 * Audit cleanup rules
 
 * Audit file copying.
@@ -57,6 +49,15 @@
 === DONE ===
 ============
 
+* Support more Lisp systems (GCL, SBCL, CLisp)
+
+* cleanup the Makefile pamphlets
+
+* Fix codes in src/interp, src/hyper, and src/hyper/pages/util.ht that 
+  hardcode pathnames.
+  In general, the OpenAxiom system should be able to work properly with
+  relative paths to that it can be "moved" around seamlessly. 
+
 * Support out-of-source build.
 
 * Support parallel build.
-- 
cgit v1.2.3