Cos'è il file TEXI?
L'estensione del file TEXI è correlata a TEXinfo, un formato di documentazione ufficiale del progetto GNU.
È stato inventato da Richard Stallman e Bob Chassell molti anni fa, liberamente basato sullo Scribe di Brian Reid e su altri linguaggi di formattazione dell'epoca. Viene utilizzato anche da molti progetti non GNU.
Tipi MIME
- application/x-TEXInfo
Programmi che possono aprire file .TEXI
LaTeX Project Development Team
LaTeX
|
Windows |
Come aprire un file .TEXI?
Se hai problemi ad aprire il file TEXI, nella maggior parte dei casi il problema è solo l'assenza di un'applicazione adeguata installata. Seleziona uno dei programmi dall'elenco e installalo sul tuo dispositivo. Il sistema operativo dovrebbe associare automaticamente il formato di file TEXI al programma installato. In caso contrario, fare clic con il pulsante destro del mouse sul file TEXI e selezionare dal menu "Aperta con" . Quindi selezionare il programma installato e confermare l'operazione. Ora tutti i file TEXI dovrebbero aprirsi automaticamente con il programma selezionato.
