| Fri, 03 Oct 2014 11:16:28 +0200 | wenzelm | more buffer.isEditable checks; | changeset | files |
| Fri, 03 Oct 2014 11:03:37 +0200 | wenzelm | context menu for bibtex entries; | changeset | files |
| Thu, 02 Oct 2014 11:54:30 +0200 | wenzelm | some support for bibtex files; | changeset | files |
| Fri, 03 Oct 2014 11:55:07 +0200 | nipkow | tuned | changeset | files |