| Wed, 15 Apr 2009 18:23:04 +0200 | immler | use jEdits styles | changeset | files |
| Wed, 15 Apr 2009 14:25:42 +0200 | immler | corrected displaying of phases in buffer with few lines; | changeset | files |
| Tue, 14 Apr 2009 18:44:11 +0200 | immler | fixed shifting; | changeset | files |
| Tue, 07 Apr 2009 21:30:47 +0200 | immler | correct order, added curreeeent change | changeset | files |
| 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 |