4 commits

Author	SHA1	Message	Date
Oliver Kiddle	48c20d74a7	39165: update options to correspond to latest versions of software in various functions	2016-09-03 12:31:22 +02:00
Oliver Kiddle	13fc579343	33467: correct return status on functions and numerous other minor fixes	2014-10-14 23:04:45 +02:00
Mikael Magnusson	af68fb3cf4	Fix _prove completer commit (was html)	2013-02-01 13:30:35 +00:00
Peter Stephenson	eac4352342	30958: Jeremy Mates: new prove completion	2013-01-10 20:37:22 +00:00