Changements prévus |
L'interface de TeXmacs vers les logiciels de calcul formel doit subir de nombreux changements. Tout d'abord, les sessions de calcul formel doivent être améliorées (meilleure césure, pliage, ajout de sous-expressions dynamiques, etc...). Quant à l'interface physique, les changements prévus se divisent en deux catégories :
En ce qui concerne les changements du premier type, on pourrait, par exemple, ajouter la complémentation automatique des commandes. Le second type de changement est beaucoup plus ambitieux et vise à trouver un moyen sémantiquement sûr de transmettre des données mathématiques. Nous prévoyons d'écrire un programme séparé, qui pourrait être utilisé indépendamment de TeXmacs.