OCamlTeX Code
Brought to you by:
cacophrene
| File | Date | Author | Commit |
|---|---|---|---|
| bin | 2009-12-06 | cacophrene | [r749] Preparing new release |
| doc | 2010-07-07 | cacophrene | [r819] Start rewriting the user manual |
| screenshots | 2010-07-11 | cacophrene | [r846] New screenshot OCamlTeX-0.95-symbol-tables |
| src | 2010-07-15 | cacophrene | [r849] Various changes |
| tags | 2010-07-07 | cacophrene | [r817] Adding OCamlTeX 0.95 beta release |
| CODE_STRUCT | 2010-07-10 | cacophrene | [r840] LaTeX.Parser added; not fully functional |
| INSTALL | 2009-11-21 | cacophrene | [r677] README and INSTALL update; minor changes |
| LICENSE | 2009-09-17 | cacophrene | [r414] Réimplémentation |
| README | 2010-07-04 | cacophrene | [r787] README update |
| TODO | 2010-07-06 | cacophrene | [r814] TODO list updated |
OCamlTeX - README ------------------------------ OCamlTeX is a fully-featured LaTeX editor. It is written in Objective Caml (OCaml) using the GTK+ toolkit and is therefore available on many platforms. It is distributed under the terms of the GNU General Public License version 3. Its main features are : - Fast and stable GNOME application. - Fully customizable GUI (bars, menus and accelerators). - LaTeX syntax highlighting using various style schemes. - Full UTF-8 support. - LaTeX-oriented editing features. - PCRE-based find and replace engine. - Customizable LaTeX database. - Constraint-based analysis of LaTeX source code. TARBALL CONTENTS ------------------------------ README This file. INSTALL Installation instructions. LICENSE GNU General Public License version 3. CODE_STRUCT OCamlTeX source code structure for plugin writers. bin/ OCamlTeX executable (i386, GNU/Linux). screenshots/ OCamlTeX in action. src/ The source code. BUG REPORT ------------------------------ OCamlTeX is still in development (beta) and maybe not completely reliable. If you find something which is likely to be a bug, please let me know by opening a bug report in OCamlTeX bug tracker. You can also email me at cacophrene AT gmail DOT com.