mailing-list for TeXmacs Users

[Bas Spitters <address@hidden>]

On Thursday 23 October 2003 13:21, Paulo Jorge de Oliveira Cantante de Matos 
wrote:
> Hi all,
>
> Has anyone ever tried to interface texmacs with the Isabelle logical
> framework? I'd like to know if it is even possible, which I'm not sure
> since Isabelle is not a CAS.

Have a look at the work of Phillipe Audebaud for the Coq proof assistant.
http://www-sop.inria.fr/lemme/Philippe.Audebaud/tmcoq/

Bas