2011-09-02 15:05:12 +08:00
|
|
|
|
<TeXmacs|1.0.7.12>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
<style|tmdoc>
|
|
|
|
|
|
|
|
|
|
|
|
<\body>
|
2022-12-31 20:04:11 +08:00
|
|
|
|
<tmdoc-title|external developments>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
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
|
2022-12-31 20:04:11 +08:00
|
|
|
|
follows a list of a few initiatives that we have been aware of:
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
<\itemize>
|
2022-12-31 20:04:11 +08:00
|
|
|
|
<item>Lionel Mamane has developed a plug-in for the
|
|
|
|
|
|
<hlink|<name|Coq>|https://coq.inria.fr/> proof assistant, called
|
|
|
|
|
|
<name|Tmegg>, but was never released publicly. Similarly, Henri Lesourd
|
|
|
|
|
|
developed an interface to the \<Omega\>mega mathematical assistant
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
<item>Saugata Basu, Richard Pollack and Marie-Fran<61>ois Roy have written
|
|
|
|
|
|
an interactive book \P<hlink|Algorithms in Real Algebraic
|
|
|
|
|
|
Geometry|https://perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted3.html>\Q
|
2011-08-28 15:59:50 +08:00
|
|
|
|
using <TeXmacs>. Any people interested in developing addional interactive
|
|
|
|
|
|
features inside <TeXmacs> are invited to contact us.
|
|
|
|
|
|
|
|
|
|
|
|
<item><hlink|Felix Breuer|http://www.felixbreuer.net/index.html> and
|
2022-12-31 20:04:11 +08:00
|
|
|
|
formerly <name|David Mentr<74>> have considered developing a <hlink|literate
|
|
|
|
|
|
programming plug-in|http://www.felixbreuer.net/LP4TeXmacs-0.1.tar.gz> for
|
|
|
|
|
|
<TeXmacs>. Another such initiative is
|
2011-09-02 15:05:12 +08:00
|
|
|
|
<hlink|<name|Fangle>|http://www.nongnu.org/fangle/>, which has recently
|
|
|
|
|
|
been started by <name|Sam Liddicott>. Any concrete implementation of
|
|
|
|
|
|
their proposals would happily find its way into the main distribution.
|
2011-08-28 15:59:50 +08:00
|
|
|
|
</itemize>
|
|
|
|
|
|
|
|
|
|
|
|
If you want to start a project based on <TeXmacs>, then please let us know.
|
|
|
|
|
|
|
|
|
|
|
|
<tmdoc-copyright|2007|Joris van der Hoeven>
|
|
|
|
|
|
|
|
|
|
|
|
<tmdoc-license|Permission is granted to copy, distribute and/or modify this
|
|
|
|
|
|
document under the terms of the GNU Free Documentation License, Version 1.1
|
|
|
|
|
|
or any later version published by the Free Software Foundation; with no
|
|
|
|
|
|
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
|
|
|
|
|
|
Texts. A copy of the license is included in the section entitled "GNU Free
|
|
|
|
|
|
Documentation License".>
|
|
|
|
|
|
</body>
|
|
|
|
|
|
|
2022-12-31 20:04:11 +08:00
|
|
|
|
<initial|<\collection>
|
|
|
|
|
|
</collection>>
|
