I think I have to reply to Martin's mail.
I don't have experience with the database, but slightly different from
what Martin wants, my intensions would go into another direction (which
are as a first approximation completely independent of ALLPROSE).
The Aldor compiler puts the ++ comments into the .ao files. Using
aldor -fasy file.ao
one basically gets all the information that is relevant, ie, code and ++
comments at the right place. Furthermore if one includes
-lalgebra -laldor
on the above command line, the compiler extracts exports from the
libraries and puts them into some place of domains in file.ao. That
would give a list of *all* the exports of a domain/category in file.ao.
Anyway, an .asy file basically is a LISP file, if I am not completely
wrong. So for a LISP expert that should be not too difficult to make
sense of it.
My current plans (no time for actually writing some code) would be to
take that .asy file and produce a .tex file which could be compiled into
.html via tex4ht. Actually, I go only via .tex because ALLPROSE uses the
convention to write a LaTeX-like syntax into the ++ comments.
Actually, ALLPROSE already contains the API, but not in an API-only
form. And I would very much like that one could fold and unfold the
*complete* list of exports of a domain and to have references from
categories to domains that use that category.
Ralf
On 02/01/2007 09:23 AM, Martin Rubey wrote:
Dear Waldek,
Waldek Hebisch <[EMAIL PROTECTED]> writes:
There were many plans to rewrite various parts of Axiom. I decided
to actually rewrite one part: the asq program :).
Did you see the mail where I set a price? Well, I repeat the relevant bit here
anyway, slightly modified to make the intention clearer:
(Modifications in [...])
**OLD MAIL*********************************************************************
I think it's time to set a price again. I'll pay 100$ anyone who writes a new,
or modifies an existing program, that displays [in a standard webbrowser] the
documentation of a +++ environment (and only this bit of documentation) as
generated by ALLPROSE, on demand, i.e., using a web interface similar to that
Tim provided.
[snip]
It is a mystery to me how Ralf did the linking magic. Maybe he or the
combinat.aux file can help...
Come on, Martin, there is no mystery. Since ALLPROSE introduced some
conventions of how to write domain and category definitions, it is quite
easy to extract their names from the code and put them into
\addefinetype{...}. When you use \adtype{...} it links to the place
where \addefinetype is. The definition of \addefinetype and \adtype
basically use commands from the hyperref LaTeX package and add some
indexing and color information. That is not too much magic.
Ralf
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
