gummi - 0.8.3+really0.8.3-4 main

Gummi is a LaTeX editor based on GTK3.
The basic features are:
- Live preview pane for the compiled document,
- BibTeX integration,
- Helpers for tables and matrices,
- Exporting to PDF,
- Error checking,
- Syntax highlighting,
- Spellchecking,
- Document statistics,
- Persistent configuration.