| Wed, 22 Apr 2009 17:35:49 +0200 | immler | abs. stops, markup nodes depend on doc-version; | changeset | files |
| Mon, 20 Apr 2009 20:28:45 +0200 | immler | merged | changeset | files |
| Mon, 20 Apr 2009 13:16:53 +0200 | immler | Anti-aliasing is now controlled via the smoothing threshhold | changeset | files |
| 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 |
| Wed, 15 Apr 2009 14:25:42 +0200 | immler | corrected displaying of phases in buffer with few lines; | changeset | files |