[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: [fricas-devel] Re: Axiom Wiki and Portal are movin
From: |
Martin Rubey |
Subject: |
[Axiom-developer] Re: [fricas-devel] Re: Axiom Wiki and Portal are moving |
Date: |
05 Nov 2007 10:06:09 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Dear Bill, *
a short answer, since I'm rather busy...
> > fixed in Axiom
> > fixed in FriCAS
> > fixed in OpenAxiom
> That is a good suggestion. I think we can easily implement that.
[...]
> I propose the following syntax:
>
> \begin{axiom}[open-axiom]
> ...
> \end{axiom}
>
> Perhaps we could also support some standard versions, e.g.
>
> \begin{axiom}[fricas,1.1]
> ...
> \end{axiom}
>
> Here [...] is an optional parameter. {axiom} by itself would refer to one of
> the three versions of axiom (no guarantee which one). {axiom}[open-axiom]
> would refer to the most recently installed version of open-axiom, etc.
great!
> The problem with the usual "cut-and-paste" method is that I have not found
> any way to transfer the status and classification field information. Only the
> text content of the page is visible. Of course it would be possible to set
> the fields later, but we are talking about nearly 300 pages.
I think that would not be too bad, since status is already slightly outdated
for some bugs and some flavours of axiom, and the classification scheme could
maybe be simplified.
> An alternative that I haven't checked is using "External Edit". I do
> not have the external edit feature enabled on my workstation so I
> cannot easily check. Martin, I think you do use this right?
Not anymore, sorry.
Apart from that, I strongly support Waldek's view of making a more or less
identical copy first, and polish later - time and interest permitting.
Also, I would very much like to see the old wiki read only meanwhile.
I won't have any time for serious axiom stuff for a while. And even then, I'd
prefer to work on the species project. But the wiki cannot wait for such a
long time, it is used by too many people!
A final suggestion: would it be possible to map
http://axiom-wiki.newsynthesis.org
to
http://axiom.newsynthesis.org
I need short names for the next axiom workshop :-)
Martin
[Axiom-developer] Re: [Axiom-mail] Axiom Wiki and Portal are moving, Gabriel Dos Reis, 2007/11/01
[Axiom-developer] Re: [fricas-devel] Axiom Wiki and Portal are moving, Waldek Hebisch, 2007/11/01