Fri, 27 Jul 2012 16:35:02 +0200 | wenzelm | merged | changeset | files |
Fri, 27 Jul 2012 15:42:39 +0200 | huffman | replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones | changeset | files |
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 |
Fri, 27 Jul 2012 15:37:48 +0200 | wenzelm | actually check return code; | changeset | files |