autosp --version (return code: 0)
This is autosp, version 2017-04-06.
Copyright (C) 2014-17 R. D. Tennent
School of Computing, Queen's University, rdt@cs.queensu.ca
License GNU GPL version 2 or later <http://gnu.org/licences/gpl.html>.
There is NO WARRANTY, to the extent permitted by law.
This is autosp, version 2017-04-06.
autosp --help (return code: 0)
This is autosp, version 2017-04-06.
Copyright (C) 2014-17 R. D. Tennent
School of Computing, Queen's University, rdt@cs.queensu.ca
License GNU GPL version 2 or later <http://gnu.org/licences/gpl.html>.
There is NO WARRANTY, to the extent permitted by law.
Usage: autosp [-v | --version | -h | --help]
autosp [-d | --dotted] [-l | --log] infile[.aspc] [outfile[.tex]]
Please report bugs to rdt@cs.queensu.ca.