Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed French accent from docs
  2. removed Old_SMT legacy module
  3. typo
Changeset 65516:03efd17e083b by blanchet:
removed French accent from docs
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 65515:f595b7532dc9 by blanchet:
removed Old_SMT legacy module
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Library/Old_SMT.thy
The file was removedsrc/HOL/Library/Old_SMT/old_smt_builtin.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_config.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_datatypes.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_failure.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_normalize.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_real.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_setup_solvers.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_solver.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_translate.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_utils.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smt_word.ML
The file was removedsrc/HOL/Library/Old_SMT/old_smtlib_interface.ML
The file was removedsrc/HOL/Library/Old_SMT/old_z3_interface.ML
The file was removedsrc/HOL/Library/Old_SMT/old_z3_model.ML
The file was removedsrc/HOL/Library/Old_SMT/old_z3_proof_literals.ML
The file was removedsrc/HOL/Library/Old_SMT/old_z3_proof_methods.ML
The file was removedsrc/HOL/Library/Old_SMT/old_z3_proof_parser.ML
The file was removedsrc/HOL/Library/Old_SMT/old_z3_proof_reconstruction.ML
The file was removedsrc/HOL/Library/Old_SMT/old_z3_proof_tools.ML
Changeset 65514:d10f0bbc7ea1 by nipkow:
typo
The file was modified src/Doc/Prog_Prove/Bool_nat_list.thy (diff)