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 SummaryMar 29 2024 — Apr 28 2024
|
12 Month SummaryApr 28 2023 — Apr 28 2024
|