isabelle: File revisions

src/HOL/Tools/ATP/system_on_tptp.ML

Mon, 12 Apr 2021 22:16:31 +0200	wenzelm	clarified signature: more structured arguments, notably for remote provers;	file \| diff \| annotate
Sun, 14 Mar 2021 20:29:26 +0100	wenzelm	invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without perl);	file \| diff \| annotate
Sun, 14 Mar 2021 18:32:11 +0100	wenzelm	clarified signature: refer to file name instead of file content;	file \| diff \| annotate
Sun, 14 Mar 2021 15:28:44 +0100	wenzelm	support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp;	file \| diff \| annotate
Sun, 14 Mar 2021 13:21:59 +0100	wenzelm	clarified signature;	file \| diff \| annotate
Sat, 13 Mar 2021 14:27:34 +0100	wenzelm	clarified signature: url may change dynamically and is part of result;	file \| diff \| annotate
Sat, 13 Mar 2021 12:36:24 +0100	wenzelm	clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;	file \| diff \| annotate
Fri, 12 Mar 2021 23:30:35 +0100	wenzelm	support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl);	file \| diff \| annotate

isabelle