Fri, 27 Jul 2012 14:56:37 +0200 | blanchet | nicer Nitpick subscript output in jEdit | changeset | files |
Fri, 27 Jul 2012 16:33:32 +0200 | wenzelm | no_check for @{setting} antiquotations -- empty values are treated as undefined on Cygwin; | changeset | files |
Fri, 27 Jul 2012 16:27:26 +0200 | wenzelm | proper shell variable; | changeset | files |