Questa è l'app Linux denominata OCamlTeX la cui ultima versione può essere scaricata come ocamltex-0.95-bytecode.tar.gz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata OCamlTeX con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
IMMAGINI
Ad
OCamlTeX
DESCRIZIONE
Editor LaTeX scritto in Objective Caml (OCaml) con il toolkit GTK+. Fornisce un'interfaccia multi-documento, evidenziazione della sintassi, completamento del codice, supporto UTF-8, plug-in, GUI personalizzabile, trova e sostituisci basato su espressioni regolari e altro ancora...
Caratteristiche
- GUI completamente personalizzabile (menu e barre degli strumenti o barra multifunzione)
- Database LaTeX estensibile
- Supporto per il plug-in OCaml
- Editor UTF-8 completo con motore di ricerca e sostituzione basato su PCRE
- Evidenziazione della sintassi LaTeX
- Completamento del codice
- Tre modi per visualizzare i simboli LaTeX (tabelle, caselle combinate e tavolozze)
- Convalida LaTeX tramite procedura guidata di lettura/analisi
- Visualizzazione rapida di formule matematiche
Pubblico
Utenti finali avanzati, utenti finali/desktop
Interfaccia utente
Gnomo, GTK+
Linguaggio di programmazione
OCaml (Obiettivo Caml)
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/ocamltex2/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri Sistemi Operativi gratuiti.
