PageRenderTime 16ms CodeModel.GetById 13ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/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>&gt;<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>