jedit-devel

2020-01-01 - 2020-02-01 (9 messages)

2019-12-01 - 2020-01-01 (60 messages)

2019-11-01 - 2019-12-01 (19 messages)

  1. 2019-12-30 [14] [ jEdit-devel ] spoiled by github                     jedit-dev Eric Le Lay 
  2. 2019-12-16  [2] [ jEdit-devel ] [jedit:plugin-bugs] #1909 XML plugin' jedit-dev Dale Anson vi
  3. 2019-12-15  [2] [ jEdit-devel ] [jedit:plugin-bugs] #1882 Templates 5 jedit-dev Robert Schwen
  4. 2019-12-13  [3] [ jEdit-devel ] problems accessing the plugin reposit jedit-dev Conal Tuohy 
  5. 2019-12-11  [1] [ jEdit-devel ] PluginManager and Plugin Sets         jedit-dev Dale Anson 
  6. 2019-12-11  [5] [ jEdit-devel ] how to move the insertion point to th jedit-dev Dale Anson 
  7. 2019-12-09 [11] [ jEdit-devel ] [jedit:plugin-patches] #187 Support < jedit-dev Eric Le Lay v
  8. 2019-12-09  [1] [ jEdit-devel ] Schematron support in XML Plugin      jedit-dev Conal Tuohy 
  9. 2019-12-09  [2] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Eric Le Lay v
 10. 2019-12-09  [1] [ jEdit-devel ] [jedit:plugin-patches] Re: #187 Suppo jedit-dev Alan Ezust vi
 11. 2019-12-08  [2] [ jEdit-devel ] Proposing a change to plugin-build.xm jedit-dev Eric Le Lay 
 12. 2019-12-07  [1] [ jEdit-devel ] [jedit:bugs] #4086 One of open files  jedit-dev Jaco de Groot
 13. 2019-12-06  [5] [ jEdit-devel ] [jedit:plugin-feature-requests] #394  jedit-dev Alan Ezust vi
 14. 2019-12-05  [6] Re: [ jEdit-devel ] Plugin Releases for December.     jedit-dev Eric Berry 
 15. 2019-12-03  [3] [ jEdit-devel ] XML Plugin updates                    jedit-dev Conal Tuohy 
 16. 2019-12-02  [1] [ jEdit-devel ] broken HTTP location in pjo utility   jedit-dev Conal Tuohy