Re: [Axiom-developer] Axiom under Windows

[Gregory Vanuxem]

Le samedi 09 juin 2007 à 18:56 +0200, Martin Rubey a écrit : 

[...]

      * Gregory Vanuxem <address@hidden> writes:
> 
> > Just one thing, Firefox seems to translate ` to %60 so the request
> is badly
> > parsed.
> 
> Oh dear. Is there an ascii character which is forbidden in Axiom and
> left
> unchanged by every browser?  Or, otherwise, is there a simple solution
> to make
> Lisp keep the case? Currently I use vertical bars and
> 
> (fn (and (eq get 'get) 
> (subseq (string (read s nil 'eof)) 1))))
> 
> but I think that this is not satisfactory.

No idea. I'm temporary resurrecting some hypertex functionalities in my
version of Axiom in such a way that compiling a spad file creates the
libdb.text. That will take some times since I know nothing about
hypertex and the libdb.text files (Gold is buggy here). I can no longer
use Axiom built on top of GCL because of a spurious bug in GCL
(conditional statements not handled) and wh-sandbox misses file related
functions when built on top of SBCL. Anyway when time will permit I'll
try your Lisp code on Windows and tell you if it works. I know that Camm
is working on socket code for Windows but I do not remember if his work
is finished, so... Another thing, Kai Kaminski did some work too in this
area, I wonder how it can be used since wh-sandbox can now be built on
top of Clisp.

> 
> > I have another problem, Htlatex does not work on my Debian system (amd64
> > testing) but the LaTeX file is correctly generated.
> 
> Oh, did you write Eitan?

No, that is right now, it's a bug in the Debian package.
Copying /etc/tex4ht/tex4ht.env to ~/.tex4ht fixed this issue.

I have looked at your HyperDoc package and in fact it's extremely simple
to obtain documentation from Spad. Shame on me, I thought it was more
difficult than that. 

Greg

> 
> "Alfredo Portes" <address@hidden> writes:
> 
> > (1) -> SOCKET(8080, getDocumentation$HyperDoc)$Lisp
> > Got "?binomial%60%20%60OutputForm"
> 
> >    ["binomial%60%20%60OutputForm"]
> 
> Yes, that's just what Greg explained.  The cure is to find another character
> which is forbidden in Axiom and left unchanged by your browser (and 
> preferably,
> by any browser), and replace the "`" in line 46 of hyper.spad by that symbol.
> 
>            ls := split(s, char "`")
> 
> I did not check, but maybe "_" would be ok.  I chose "`" since it is used by
> axiom as separator in the database, and I thought I'd better be consistent.
> 
> It does not matter what separator one uses in line 26:
> 
>             s: String := concat([op.'name, "`", op.'type, "`", op.'origin])
> 
> It is only important, that different name, type, origin triples are mapped to
> different string.
> 
> 
> Martin
> 
>