| Thu, 16 Apr 2009 13:38:03 +0200 | immler | prepared proofdocument for only needed changes | changeset | files |
| 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 |