Conversione di documenti TeXmacs in Html

Abbiamo cominciato ad implementare la conversione tra i formati HTML e TeXmacs. Per il momento, è possibile solamente importare documenti HTML utilizzando File→Importa→Html. La maggior parte di HTML 2.0 e alcune parti di HTML 3.0 sono attualmente supportate. Comunque, non è ancora possibile la navigazione. Nel futuro, implementeremo Math-ML.

Quando si importano documenti HTML, i file i cui nomi cominciano con http: o ftp: saranno scaricati dalla rete usando wget. Se ci si compila TeXmacs personalmente, si può scaricare wget da 

  ftp://ftp.gnu.org/pub/gnu/wget/

Nelle distribuzioni binarie, wget è già incluso.

© 1998–2003 Joris van der Hoeven, Lucia Gecchelin, Andrea Centomo
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".