1. 2020-09-04 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Dale Anson 2. 2020-09-04 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Vampire 3. 2020-08-03 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Vampire 4. 2020-08-01 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Alan Ezust 5. 2020-06-10 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Matthieu Casanova 6. 2020-06-09 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Dale Anson 7. 2020-06-09 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Matthieu Casanova 8. 2020-06-09 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Makarius 9. 2020-06-09 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Makarius 10. 2020-06-06 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Makarius 11. 2020-06-06 Re: [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Matthieu Casanova 12. 2020-06-06 [ jEdit-devel ] Releasing jEdit 5.6 jedit-dev Alan Ezust