Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. provide bash_process server for Isabelle/ML and other external programs; clarified signature for Bash.params;
  2. clarified signature;
  3. clarified signature;
  4. proper prover_options for batch-build;
  5. clarified signature; clarified errors;
Changeset 74147:d030b988d470 by wenzelm:
provide bash_process server for Isabelle/ML and other external programs;<br>clarified signature for Bash.params;
The file was modified etc/build.props (diff)
The file was modified etc/options (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_tool.ML (diff)
The file was modified src/HOL/Tools/Predicate_Compile/code_prolog.ML (diff)
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
The file was modified src/Pure/System/bash.ML (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/Tools/generated_files.ML (diff)
The file was modified src/Pure/Tools/ghc.ML (diff)
The file was modified src/Pure/Tools/jedit.ML (diff)
Changeset 74146:dd1639961016 by wenzelm:
clarified signature;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 74145:608f8ae89cac by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 74144:f9f6a31cc99c by wenzelm:
proper prover_options for batch-build;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 74143:8d20b1cf0d5d by wenzelm:
clarified signature;<br>clarified errors;
The file was modified src/Pure/General/socket_io.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)