jedit-devel

2024-05-01 - 2024-06-01 (34 messages)

  1. 2024-04-26 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Vampire 
  2. 2024-03-26 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Vampire 
  3. 2023-10-17 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Eric Le Lay via jE
  4. 2023-10-13 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Vampire 
  5. 2023-10-04 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev orbitalair 
  6. 2023-10-03 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Dale Anson 
  7. 2023-10-03 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Dale Anson 
  8. 2023-10-03 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev orbitalair 
  9. 2023-10-03 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Dale Anson 
 10. 2023-10-03 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Matthieu Casanova 
 11. 2023-10-03 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Alan Ezust 
 12. 2023-10-02 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Matthieu Casanova 
 13. 2023-10-02 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Eric Le Lay via jE
 14. 2023-10-02 Re: [ jEdit-devel ] jEdit 5.7.0 release?               jedit-dev Dale Anson 
 15. 2023-10-01 [ jEdit-devel ] jEdit 5.7.0 release?                   jedit-dev Vampire