Sun, 05 Oct 2014 18:30:43 +0200 | wenzelm | clarified modules; | file | diff | annotate |
Sun, 05 Oct 2014 18:21:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
Sun, 05 Oct 2014 18:14:26 +0200 | wenzelm | clarified modules; | file | diff | annotate |
Sun, 05 Oct 2014 17:58:36 +0200 | wenzelm | citation tooltip/hyperlink based on open buffers with .bib files; | file | diff | annotate |