Vanuxem Grégory wrote:
> I played a little with this and reread aggcat which contains the
> aggregate categories used in src/algebra. I displayed in Hyperdoc
> Multiset and clicked on the example link (I wanted to know the "users"
> of Multiset thanks to Waldek for its patch/remark), the interpreter
> returned "Unknown page: MultisetXmpPage". This page seems to exist,
> MSET.[p]ht contain some of what I think are examples.
>
MSET.ht contains MultiSetXmpPage, which due to different capitalization
does not match MultisetXmpPage.
> Any idea why this page is not found ? Some other questions, is ph.awk
> available somewhere, same thing for the sources of theses files, are
> they available somewhere ? What is the difference between a .ht file and
> a .pht file ?
>
.pht was generated form .ht file. It contains Axiom output, so that
Hypertex can show the output without recomputiong it. I affraid that
we need to re-create ph.awk (maybe using another language).
--
Waldek Hebisch
[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
