/www/branches/dev/nimbus/htdocs/main.html

 1<!-- begin main.text -->
 2
 3<!-- Thanks to Ollie Rutherfurd and Kris Kopicki for ideas! -->
 4
 5<!-- for jEdit: :mode=html:tabSize=2:indentSize=2:noTabs=true: -->
 6
 7<p><img src="images/screenshot.png" width="256" height="191" class="screenshot" /> jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it.  To <a href="index.php?page=download">download</a>, install, and set up jEdit as quickly and painlessly as possible,
 8go to the <a href="index.php?page=quickstart">Quick Start</a> page.</p>
 9
10<p>While jEdit beats many expensive development tools for features and ease of use, it is released as free software with full source code, provided under the terms of the <a href="http://www.gnu.org/licenses/old-licenses/gpl-2.0.html">GPL 2.0</a>. </p>
11
12
13<p>The jEdit core, together with a large collection of <a href="http://plugins.jedit.org">plugins</a> is maintained by a <a href="http://www.jedit.org/?page=devel">world-wide developer team</a>.</p>
14
15<p>Some of jEdit's features include:</p>
16<ul>
17<li>Written in Java, so it runs on Mac OS X, OS/2, Unix, VMS and Windows.</li>
18<li>Built-in macro language; extensible plugin architecture. Dozens of macros
19and plugins available.</li>
20<li>Plugins can be downloaded and
21installed from within jEdit using the "plugin manager" feature.</li>
22<li>Auto indent, and syntax highlighting for more than 130 languages.</li>
23<li>Supports a large number of character encodings including UTF8 and Unicode.</li>
24<li>Folding for selectively hiding regions of text.</li>
25<li>Word wrap.</li>
26<li>Highly configurable and customizable.</li>
27<li>Every other feature, both basic and advanced, you would expect to find in
28a text editor. See the <a href="index.php?page=features">Features</a> page
29for a full list.</li>
30</ul>
31
32<a href="http://creativecommons.org/licenses/GPL/2.0/">
33<img border="0" alt="GPL V2.0" src="http://creativecommons.org/images/public/cc-GPL-a.png"/>
34</a>
35
36
37<!-- <h2>News</h2>
38
39<?php
40  include("/home/groups/j/je/jedit-community/htdocs/get_articles.php");
41?> -->
42
43<!-- end main.text -->