Mon, 20 Apr 2009 12:17:15 +0200 | immler | incomplete changes of immutable tokens and commands | changeset | files |
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 |