Sat, 05 Apr 2014 11:37:00 +0200 | haftmann | closer correspondence of document and session names, while maintaining document names for external reference | changeset | files |
Sat, 05 Apr 2014 17:52:29 +0100 | paulson | ignore jedit mark files | changeset | files |
Sat, 05 Apr 2014 10:12:51 +0200 | haftmann | avoid romanism | changeset | files |