From 8414b45f48d68b898a6dda27069c377088687fb8 Mon Sep 17 00:00:00 2001 From: dos-reis 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