| File | Date | Author | Commit |
|---|---|---|---|
| jsyntaxpanettx | 2015-09-08 | davit | [r662] new option to decrease display font size; decre... |
| osterttx | 2015-09-15 | davit | [r678] removed redundant variable |
| plugins | 2012-12-08 | davit | [r655] removed switching to plain view prior to applyi... |
| texttrix | 2016-01-20 | davit | [r692] docs update |
| txtrx | 2007-10-06 | davit | [r437] Moved remotely |