[fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Eugene Surowitz
I think you got every edit, or if any were missed it must have been something so slight that I don't recognize it. I also touched very lightly http://axiom-wiki.newsynthesis.org/FriCASInterpreter and http://axiom-wiki.newsynthesis.org/FriCASCompiler in case you planned changes for

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Bill Page
Ralf, Gene, Are you aware that you can view old versions and revisions of pages on the wiki? Click on the pull down list under last edited. E.g. http://axiom-wiki.newsynthesis.org/ProgrammingSPAD/diff?rev=17 Does that help? On 20 February 2014 13:39, Eugene Surowitz su...@attglobal.net

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Ralf Hemmecke
On 02/20/2014 08:42 PM, Bill Page wrote: http://axiom-wiki.newsynthesis.org/ProgrammingSPAD/diff?rev=17 Thanks, Bill. That is exactly what I used to find out about the changes of Eugene. It's only that I don't quite like the pamphlet syntax. I would rather like to use RestructuredText (no, not

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Bill Page
\begin{axiom} ... \begin{spad} etc. is not currently supported in Restructured Text format on the wiki. If you really really wanted it, I think it would not be too difficult to add this support. Noweb pamphlet format is really the same as StructuredText+Latex+Math format but it optionally

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Ralf Hemmecke
It should be quite easy (well, not to difficult) to do the same thing but supporting RestructuredText encoding for the HTML part. Well, I don't think, I can do this and I believe I rather like to setup a system that uses sphinx to render the html out of restructured text (and calls fricas while

Re: [fricas-devel] Re: axiom-wiki edits

2014-02-20 Thread Bill Page
Yes, please do that. :) On 20 February 2014 16:56, Ralf Hemmecke r...@hemmecke.org wrote: It should be quite easy (well, not to difficult) to do the same thing but supporting RestructuredText encoding for the HTML part. Well, I don't think, I can do this and I believe I rather like to setup