mailing-list for TeXmacs Users

[Paulo Jorge de Oliveira Cantante de Matos <address@hidden>]

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.

Best regards,
-- 

Paulo J. Matos : address@hidden
Instituto Superior Tecnico - Lisbon
Computer and Software Eng. - A.I.
 - > http://mega.ist.utl.pt/~pocm
---
        -> God had a deadline...
                So, he wrote it all in Lisp!