1. 2017-04-13 [ jEdit-devel ] [jedit:patches] #541 Macros to insert jedit-dev Robert Schwenn 2. 2017-03-21 [ jEdit-devel ] [jedit:patches] #541 Macros to insert jedit-dev Robert Schwenn 3. 2014-12-18 [ jEdit-devel ] [jedit:patches] #541 Macros to insert jedit-dev Thiemo Kellner 4. 2014-12-18 [ jEdit-devel ] [jedit:patches] #541 Macros to insert jedit-dev Thiemo Kellner