Re: [ jEdit-devel ] Plugins & jEdit 3.1

[Andre K. <ak...@je...>]

On Sunday 22 April 2001 06:27, Slava Pestov wrote:
> Hello everybody,
>
> I am going to release 3.1final either today or tomorrow, so
> please get your plugins ready _now_ and send them to Mike,
> so that by the time 3.1final is uploaded, the plugins are
> all up to date.
>
> Mike, my updates are as follows:

Here are mine.

The following plugins are updated for jEdit 3.1:

CodeAid 0.3.2:
CVS tag: codeaid-0_3_2
CVS module: plugins/CodeAid

Code2HTML 0.3.1:
CVS tag: code2html-0_3_1
CVS module: plugins/Code2HTML

HTML 3.4.2:
CVS tag: html-3_4_2
CVS module: plugins/HTML

JDiffPlugin 1.2.1:
CVS tag: jdiffplugin-1_2_1
CVS module: plugins/JDiffPlugin

WhiteSpace 0.6: Added fold guides and fold tooltips
CVS tag: whitespace-0_6
CVS module: plugins/WhiteSpace

Andre