W3C home > Mailing lists > Public > www-amaya-dev@w3.org > July 2002

Re: Amaya and Thot Toolkit API

From: Vincent Quint <Vincent.Quint@inrialpes.fr>
Date: Fri, 26 Jul 2002 15:04:19 +0200
To: Chen Fe Pong <thefeping@yahoo.com>
Cc: www-amaya-dev@w3.org
Message-Id: <20020726130419.CF43C1A198@lihue.inrialpes.fr>

I guess you should read:


which is a short introduction to the Amaya Architecture.
You should also read:


which explains how to build an application based on Thot.
See more comments in line.

Chen Fe Pong wrote:
> dear Sir/madam,
> I am a student currently working on : how the MathML
> script can become 
> a matematical expression by studying the amaya source
> code. 
> It seems that amaya use The Thot Toolkit API. So my
> lecturer said that 
> i must understand the thot Toolkit first. He told me
> to make a simple 
> application using Thot. 
> I have some question:
> 1. Amaya use Thot for creating MathML document.
>    Does Amaya use thot function for displaying the
> MathML document ?

Yes. In fact it uses Thot functions to create and modify
the tree structure and Thot displays the corresponding
elements based on the MathML presentation schema (file
MathMLP.P). To know more about presentation schema and
the P language, refer to:


> 2. Can i make a simple application using Thot Toolkit
> under windows?

Yes, you can. Amaya is in fact a Thot application. Look at
file EDITOR.A, which defines Amaya as a Thot application.
To understand this file, refer to


>    cause i heard that Thot is not available on windows
> platform.
> 3. I already have The Thot Toolkit API manuals that
> contains 
>    about 200 functions. But there is no explanation
> how to use these
>    function. Is there any tutorial or document about
> how usinsg Thot 
>    Toolkit API ?

Yes. Refer to the documents mentioned above.

> I'm waiting for your answer as soon as possible.
> Thank you very much.
> kind regards,
> The Fe Ping.

Received on Friday, 26 July 2002 09:04:28 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:31:06 UTC