- Jan 11, 2018
-
-
Martin Davis authored
-
- Nov 22, 2017
-
-
James Hughes authored
Signed-off-by:Jim Hughes <jnh5y@ccri.com>
-
- Nov 18, 2017
-
-
Martin Davis authored
-
Martin Davis authored
-
- Nov 11, 2017
-
-
Martin Davis authored
* Add Licensing FAQ Signed-off-by:Martin Davis <mtnclimb@gmail.com>
-
- Nov 09, 2017
-
-
Martin Davis authored
-
- Sep 12, 2017
-
-
Martin Davis authored
-
Martin Davis authored
-
Martin Davis authored
-
Martin Davis authored
-
- Aug 23, 2017
-
-
Martin Davis authored
-
Jody Garnett authored
-
- Aug 22, 2017
-
-
Rob Emanuele authored
Signed-off-by:lossyrob <rdemanuele@gmail.com>
-
- Aug 15, 2017
-
-
Martin Davis authored
Add link to GitHub web pages
-
- Feb 28, 2017
-
-
Colin Woodbury authored
* Add link to Javadocs in README I didn't notice an easy link to it elsewhere (i.e. the User Guide) other than from its LT page. * Moved javadocs link to `Documentation` section - Small oversight.
-
- Dec 01, 2016
-
-
Martin Davis authored
-
- Nov 08, 2016
-
-
Jody Garnett authored
Preserve origional JDOM header information when reusing code.
-
Martin Davis authored
* Update README.md * Update README.md * Update CONTRIBUTING.md * Update CONTRIBUTING.md * Update CONTRIBUTING.md * Update CONTRIBUTING.md * Update README.md * Update README.md * Update README.md * Update README.md * Update README.md * Update CONTRIBUTING.md * Update CONTRIBUTING.md * Update README.md * Update README.md * Update README.md * Update README.md * Create DEVELOPING.md * Update DEVELOPING.md * Update DEVELOPING.md * Update README.md * Update DEVELOPING.md * Update DEVELOPING.md * Create USING.md * Update DEVELOPING.md * Update README.md * Update README.md
-
- Nov 04, 2016
-
-
Martin Davis authored
-
