1. 2020-10-21 [3] [ jEdit-devel ] [jedit:plugin-central-submission] #1060 InputReplace Rel jedit-devel Eric Le Lay via jEdit 2. 2020-10-20 [1] [ jEdit-devel ] [jedit:plugin-bugs] #1915 CtagsInterface doesn't work jedit-devel David via jEdit-devel 3. 2020-10-11 [4] [ jEdit-devel ] AntFarm updated jedit-devel Dale Anson