Sun, 05 Oct 2014 17:58:36 +0200 | wenzelm | citation tooltip/hyperlink based on open buffers with .bib files; | changeset | files |
Sun, 05 Oct 2014 16:05:17 +0200 | wenzelm | bibtex support in ML: document antiquotation @{cite} with markup; | changeset | files |
Sun, 05 Oct 2014 15:05:26 +0200 | wenzelm | maintain Document_Model.bibtex_entries; | changeset | files |
Sun, 05 Oct 2014 13:16:24 +0200 | wenzelm | more advanced NEWS tree structure and folding; | changeset | files |
Sat, 04 Oct 2014 22:15:31 +0200 | wenzelm | merged; | changeset | files |
Sat, 04 Oct 2014 22:15:22 +0200 | wenzelm | NEWS; | changeset | files |
Sat, 04 Oct 2014 22:11:08 +0200 | wenzelm | tuned output; | changeset | files |