 |
Conversion de documents TeXmacs en HTML |
 |
Nous avons commencé à implémenter la conversion
de HTML à TeXmacs et vice-versa. À l'heure actuelle, on
ne peut qu'importer des documents HTML avec Fichier→Importer→HTML. La
presque totalité de HTML 2.0 et certains aspects de HTML 3.0
sont gérés. Néanmoins, il n'est pas possible,
pour l'instant, de naviguer. Nous prévoyons
d'implémenter Math-ML plus tard.
Lors de l'importation de documents HTML, les fichiers dont le nom
commence par http: or ftp: sont
téléchargés à l'aide du programme wget. Si vous compilez TeXmacs vous-même, vous
pouvez télécharger wget à
l'adresse suivante :
ftp://ftp.gnu.org/pub/gnu/wget/
Nous avons inclus wget dans la distribution binaire.
© 1998–2002 Joris van der Hoeven
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".