Tue, 14 Jun 2011 17:24:23 +0200 | wenzelm | builtin sub/superscript styles for jedit-4.3.2; | changeset | files |
Tue, 14 Jun 2011 15:58:01 +0200 | wenzelm | merged | changeset | files |
Tue, 14 Jun 2011 15:32:17 +0200 | wenzelm | tuned colors; | changeset | files |