1. 2020-11-30 [3] [ jEdit-devel ] [jedit:patches] #624 Patch for MacOSX jedit-dev Peter Lynch v 2. 2020-11-30 [1] [ jEdit-devel ] [jedit:patches] #627 remove reference jedit-dev Peter Lynch v 3. 2020-11-14 [2] [ jEdit-devel ] [jedit:plugin-feature-requests] #397 jedit-dev Dale Anson vi 4. 2020-11-12 [6] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Eric Le Lay v 5. 2020-11-11 [5] Re: [ jEdit-devel ] AntFarm updated jedit-dev Alan Ezust 6. 2020-11-03 [2] [ jEdit-devel ] [jedit:jeditlauncher-bugs] #51 openjd jedit-dev Ben Golding v