Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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
Changeset 76189:778152d51e97 by wenzelm:
inplace update: proper Linux version;
The file was modified Admin/components/components.sha1
Changeset 76188:63a6889c5f91 by wenzelm:
provide naproche-20220917;
The file was modified Admin/Release/CHECKLIST
The file was modified Admin/components/components.sha1
Changeset 76187:1a31d1551eb3 by wenzelm:
clarified NEWS;
The file was modified NEWS
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
The file was modified Admin/components/main
Changeset 76185:6259a90da890 by wenzelm:
MLton component for x86_64-linux;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified NEWS
Changeset 76184:74d6567c2274 by wenzelm:
clarified Docker base image;
The file was modified src/Doc/System/Misc.thy
The file was modified src/Pure/Tools/build_docker.scala
Changeset 76183:8089593a364a by wenzelm:
proper file headers;
The file was modified src/HOL/Library/Sum_of_Squares/positivstellensatz.ML
The file was modified src/HOL/Library/Tools/smt_word.ML
The file was modified src/HOL/Library/Tools/word_lib.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_arith.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_metis.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_presburger.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_quickcheck.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer_filter.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_try0.ML
The file was modified src/HOL/Tools/Mirabelle/mirabelle_util.ML
The file was modified src/HOL/Tools/SMT/lethe_isar.ML
The file was modified src/HOL/Tools/SMT/lethe_proof.ML
The file was modified src/HOL/Tools/SMT/lethe_proof_parse.ML
The file was modified src/HOL/Tools/SMT/lethe_replay_methods.ML
The file was modified src/HOL/Tools/SMT/verit_strategies.ML
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML
The file was modified src/Provers/preorder.ML
The file was modified src/Pure/Admin/build_cvc5.scala
The file was modified src/Pure/General/base64.ML
The file was modified src/Pure/General/xz.ML
The file was modified src/Pure/PIDE/byte_message.ML
Changeset 76182:11fed9812b57 by wenzelm:
tuned messages;
The file was modified src/Pure/Tools/build_docker.scala
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
The file was modified src/HOL/Library/code_test.ML
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 76180:322f2e2799a7 by wenzelm:
omit menu for unfinished tool;
The file was modified src/Tools/jEdit/jedit_main/plugin.props

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merged
  2. support for ISABELLE_MLTON_OPTIONS, following Isabelle/d27ed188e0c4;
  3. Renaming synthesized formulas
Changeset 13018:59b24f0e98b1 by wenzelm:
merged
Changeset 13017:3906f9f92b4d by wenzelm:
support for ISABELLE_MLTON_OPTIONS, following Isabelle/d27ed188e0c4;
The file was modified thys/Buchi_Complementation/Complementation_Build.thy
The file was modified thys/PAC_Checker/PAC_Checker_MLton.thy
Changeset 13016:edc3ffeb8c5e by sterraf:
Renaming synthesized formulas
The file was modified thys/Independence_CH/Definitions_Main.thy
The file was modified thys/Independence_CH/Fm_Definitions.thy
The file was modified thys/Independence_CH/Interface.thy
The file was modified thys/Independence_CH/Names.thy
The file was modified thys/Independence_CH/Powerset_Axiom.thy
The file was modified thys/Independence_CH/Replacement_Instances.thy
The file was modified thys/Independence_CH/ZF_Trans_Interpretations.thy
The file was modified thys/Independence_CH/document/root.tex