Fri, 27 Jul 2012 16:35:02 +0200 wenzelm merged
Fri, 27 Jul 2012 15:42:39 +0200 huffman replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones
Fri, 27 Jul 2012 14:56:37 +0200 blanchet nicer Nitpick subscript output in jEdit
Fri, 27 Jul 2012 16:33:32 +0200 wenzelm no_check for @{setting} antiquotations -- empty values are treated as undefined on Cygwin;
Fri, 27 Jul 2012 16:27:26 +0200 wenzelm proper shell variable;
Fri, 27 Jul 2012 15:37:48 +0200 wenzelm actually check return code;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip