| Mon, 20 Oct 2008 16:46:28 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Mon, 20 Oct 2008 12:05:08 +0200 | wenzelm | fixed jEdit version; | file | diff | annotate |
| Mon, 20 Oct 2008 11:44:59 +0200 | wenzelm | requires Java from Sun; | file | diff | annotate |
| Mon, 20 Oct 2008 11:35:27 +0200 | wenzelm | Requirements to build from sources. | file | diff | annotate |