isabelle: File revisions

src/HOL/TPTP/lib/Tools/tptp_translate

2016-03-10	wenzelm	isabelle_process is superseded by "isabelle process" tool;	file \| diff \| annotate
2016-03-09	wenzelm	isabelle.Build uses ML_Process directly;	file \| diff \| annotate
2015-06-22	blanchet	automatically build image	file \| diff \| annotate
2015-06-22	blanchet	filter out more Poly/ML messages from (ad hoc) TPTP toools	file \| diff \| annotate
2015-06-22	blanchet	removed (now illegal) semicolons in generated theory files	file \| diff \| annotate
2013-11-21	blanchet	renamed TFF0/THF0 to three-letter acronyms, in keeping with new TPTP policy	file \| diff \| annotate
2013-11-18	blanchet	send output of "tptp_translate" to standard output, to simplify Geoff Sutcliffe's life	file \| diff \| annotate
2013-11-14	blanchet	implemented 'tptp_translate'	file \| diff \| annotate
2013-11-14	blanchet	reintroduced (unimplemented) 'tptp_translate' tool	file \| diff \| annotate
2012-01-23	blanchet	implemented "tptp_refute" tool	file \| diff \| annotate
2012-01-23	blanchet	added problem importer	file \| diff \| annotate
2012-01-23	blanchet	renamed two files to make room for a new file	file \| diff \| annotate
2012-01-23	blanchet	rebranded Nitrox, for more uniformity	file \| diff \| annotate

isabelle