/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. <body>
  6. <h1>LatestVersion Plugin</h1>
  7. This plugin can be used to find out what the latest available jEdit
  8. version is. To invoke it, select
  9. <b>Plugins</b>&gt;<b>Check jEdit Version</b>. When invoked, it will
  10. connect to a special URL
  11. (<code>http://www.jedit.org/jEdit-version.txt</code>),
  12. which contains version info.
  13. </body>
  14. </html>