Commit Graph

15 Commits

Author SHA1 Message Date
Victor Popkov 9fc9afd5e2 jedit.rb: fix vendor comment 2016-03-08 23:00:34 +02:00
Josh Hagins feba4ec740 Remove DSL versions from all casks 2015-12-17 20:15:28 -05:00
jwigley 7eb46997f7 Updated jedit to version 5.3.0 2015-11-22 16:46:34 -05:00
Rav Chandra 1533c56330 update jedit to version 5.2.0 2015-06-03 14:04:22 +12:00
Vítor Galvão 47ca2c0f00 jedit.rb: added name 2015-03-16 01:37:44 +01:00
Amory Meltzer 26b61826e3 Update jedit license from oss to gpl
http://www.jedit.org/
2015-02-01 08:21:10 -08:00
Vítor Galvão 6da2073bd9 updated jedit (5.2) 2015-01-17 23:14:24 +00:00
Roland Walker a22fd5e434 no HTTPS sourceforge in jedit 2014-12-17 08:14:40 -05:00
Roland Walker 9cf41e5365 new-style header in jedit 2014-11-13 12:35:46 -05:00
Roland Walker d1e571b9d2 add license stanza to jedit 2014-10-01 11:43:03 -04:00
Roland Walker 5f01cf0f72 re-use version in jedit 2014-09-26 08:08:58 -04:00
Roland Walker 098b5e1478 app stanza in jedit.rb 2014-09-15 12:05:47 -04:00
ndr f1fac33e81 Reformat jedit.rb according to readability conventions 2014-06-27 02:01:21 +02:00
Roland Walker 3a6aee748b use HTTPS url in jedit.rb 2014-06-18 10:55:23 -04:00
Caleb Xu eae5e04bc7 Added jEdit
jEdit is a mature programmer's text editor with hundreds (counting the
time developing plugins) of person-years of development behind it.

While jEdit beats many expensive development tools for features and
ease of use, it is released as free software with full source code,
provided under the terms of the GPL 2.0.

The jEdit core, together with a large collection of plugins is
maintained by a world-wide developer team.
2014-02-23 13:07:23 -05:00