| 2009-02-07 | Christian Urban | general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution | file | diff | annotate |
| 2009-01-16 | Christian Urban | tuned | file | diff | annotate |
| 2009-01-14 | Christian Urban | added an antiquotation option [gray] for gray boxes around displays | file | diff | annotate |