Ongoing external developments

Some people which are not part of the core development team use TeXmacs for other projects. We do our best to support such external developments and make the necessary changes inside TeXmacs when necessary. Here follows a list of a few initiatives that we are aware of:

• Lionel Mamane is developing a plug-in for the Coq proof assistant, called Tmegg. A first version of this plug-in is about to be released; please check Lionel's homepage. Similarly, Henri Lesourd is developing an interface to the Omega system. The use of TeXmacs as a front-end for proof assistants and theorem provers raises interesting questions about asynchroneous plug-in evaluations, keeping track and appropriate rendering of the state of a prover, appropriate mathematical and proof markup, etc.
• Saugata Basu, Richard Pollack and Marie-François Roy have written an interactive book “Algorithms in Real Algebraic Geometry” using TeXmacs. Any people interested in developing addional interactive features inside TeXmacs are invited to contact us.
• TeXmacs is used in combination with Maxima in a high-school education project at the Lycée Villegénis at Massy Palaiseau (nearby Paris). In view of this project, we intend to further simplify the user-interface and to make it easier to install up-to-date TeXmacs versions under Windows.
• Felix Breuer and formerly David Mentré have considered developing a literate programming plug-in for TeXmacs. Any concrete implementation of their proposals would happily find its way into the main distribution.

If you want to start a project based on TeXmacs, then please let us know.