Mon, 06 Apr 2009 20:01:33 +0200 | immler | implemented to_current and from_current in dependancy of document-versions | changeset | files |
Mon, 06 Apr 2009 19:04:38 +0200 | immler | proofdocument-versions get id from changes | changeset | files |
Sat, 28 Mar 2009 15:40:47 +0100 | immler | when jEdit is run from Netbeans, activate=defer does not work (why?) | changeset | files |