LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...
30 Day SummaryAug 12 2024 — Sep 11 2024
|
12 Month SummarySep 11 2023 — Sep 11 2024
|