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 |
Fri, 03 Oct 2014 11:48:27 +0200 | nipkow | tuned | changeset | files |
Thu, 02 Oct 2014 17:51:04 +0200 | haftmann | accomplish potentially case-insenstive file systems for Scala | changeset | files |
Thu, 02 Oct 2014 22:33:45 +0200 | nipkow | tuned | changeset | files |