/jEdit/tags/jedit-4-2-pre4/jars/LatestVersion/LatestVersion.html
HTML | 18 lines | 14 code | 4 blank | 0 comment | 0 complexity | 9637ffdb0b2b29c41bf2c8f026586437 MD5 | raw file
1<html> 2<head> 3<title>LatestVersion Plugin</title> 4</head> 5 6<body> 7 8<h1>LatestVersion Plugin</h1> 9 10This plugin can be used to find out what the latest available jEdit 11version is. To invoke it, select 12<b>Plugins</b>><b>Check jEdit Version</b>. When invoked, it will 13connect to a special URL 14(<code>http://www.jedit.org/jEdit-version.txt</code>), 15which contains version info. 16 17</body> 18</html>