Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. show SSH options in PIDE GUI;
  2. inplace update: proper Linux version;
  3. provide naproche-20220917;
  4. clarified NEWS;
  5. proper platform directory x86_64-linux, to have it purged for other platforms; tuned README;
  6. MLton component for x86_64-linux;
  7. clarified Docker base image;
  8. proper file headers;
  9. tuned messages;
  10. support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;
  11. omit menu for unfinished tool;
Changeset 76190:c72c5407a86f by wenzelm:
show SSH options in PIDE GUI;
The file was modified etc/options (diff)
Changeset 76189:778152d51e97 by wenzelm:
inplace update: proper Linux version;
The file was modified Admin/components/components.sha1 (diff)
Changeset 76188:63a6889c5f91 by wenzelm:
provide naproche-20220917;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 76187:1a31d1551eb3 by wenzelm:
clarified NEWS;
The file was modified NEWS (diff)
Changeset 76186:5f3983c42324 by wenzelm:
proper platform directory x86_64-linux, to have it purged for other platforms;<br>tuned README;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 76185:6259a90da890 by wenzelm:
MLton component for x86_64-linux;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
Changeset 76184:74d6567c2274 by wenzelm:
clarified Docker base image;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 76183:8089593a364a by wenzelm:
proper file headers;
The file was modified src/HOL/Library/Sum_of_Squares/positivstellensatz.ML (diff)
The file was modified src/HOL/Library/Tools/smt_word.ML (diff)
The file was modified src/HOL/Library/Tools/word_lib.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_arith.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_metis.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_presburger.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_quickcheck.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer_filter.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_try0.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_util.ML (diff)
The file was modified src/HOL/Tools/SMT/lethe_isar.ML (diff)
The file was modified src/HOL/Tools/SMT/lethe_proof.ML (diff)
The file was modified src/HOL/Tools/SMT/lethe_proof_parse.ML (diff)
The file was modified src/HOL/Tools/SMT/lethe_replay_methods.ML (diff)
The file was modified src/HOL/Tools/SMT/verit_strategies.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
The file was modified src/Provers/preorder.ML (diff)
The file was modified src/Pure/Admin/build_cvc5.scala (diff)
The file was modified src/Pure/General/base64.ML (diff)
The file was modified src/Pure/General/xz.ML (diff)
The file was modified src/Pure/PIDE/byte_message.ML (diff)
Changeset 76182:11fed9812b57 by wenzelm:
tuned messages;
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 76181:d27ed188e0c4 by wenzelm:
support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;
The file was modified etc/settings (diff)
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 76180:322f2e2799a7 by wenzelm:
omit menu for unfinished tool;
The file was modified src/Tools/jEdit/jedit_main/plugin.props (diff)