-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Paulo Jorge de Oliveira Cantante de Matos <address@hidden>- To: TeXmacs-users ML <address@hidden>
- Subject: Interfacing texmacs with Isabelle
- Date: Thu, 23 Oct 2003 11:21:46 +0000
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!
- Interfacing texmacs with Isabelle, Paulo Jorge de Oliveira Cantante de Matos, 10/23/2003
- Re: [TeXmacs] Interfacing texmacs with Isabelle, Bas Spitters, 10/23/2003
- Re: [TeXmacs] Interfacing texmacs with Isabelle, Joris van der Hoeven, 10/23/2003
- Logical Frameworks [Was: Interfacing texmacs with Isabelle], Andreas Seidl, 10/23/2003
- Re: [TeXmacs] Logical Frameworks [Was: Interfacing texmacs with Isabelle], Joris van der Hoeven, 10/24/2003
- Logical Frameworks [Was: Interfacing texmacs with Isabelle], Andreas Seidl, 10/23/2003
Archive powered by MHonArc 2.6.19.
