[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Axiom short term roadmap

From: David MENTRE
Subject: [Axiom-developer] Axiom short term roadmap
Date: Wed, 01 Oct 2003 23:14:58 +0200
User-agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux)


I have started to list tasks that need to be done for a first stable
release of Axiom. You'll find them at:

The proposed list is a first start. Of course, everybody is free to add
or remove tasks.

The main idea I had doing this is to keep us on focus for some short
term goals that I think are a prerequisite for the future (community and
Tim's vision on Axiom). Having a stable release will help us setting a
reference point for ports and enhancements.

Some remaining tasks I'm hesitating to put as target for this initial
 - external gcl

 - various ports (MacOS X, FreeBSD, Windows, ...)

I think I'll add a mid-term goal (all ports, hyperdvi browser, graphics,
...) and a long term goal (Axiom Journal, Proof Assistant Integration,
zero learning curve interface, ...).


PS : I hope I am clear on my intent. The purpose of this email is not to
     say that Camm, Jaap or Mark work is not useful.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]