Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more formal meta data, within ".browser_info"; update_chapter for each session when it is finished;
  2. tuned signature;
  3. support for pretty-printing of JSON trees;
  4. tuned signature; more operations;
  5. tuned: slightly more generic operations;
  6. remove duplicate parsing for alethe; fix skolemization;
Changeset 75961:787a203a20b6 by wenzelm:
more formal meta data, within &quot;.browser_info&quot;;<br>update_chapter for each session when it is finished;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75960:881871e0fa9e by wenzelm:
tuned signature;
The file was modified src/Pure/General/json.scala (diff)
Changeset 75959:4fe213c214f9 by wenzelm:
support for pretty-printing of JSON trees;
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75958:97445e208419 by wenzelm:
tuned signature;<br>more operations;
The file was modified src/Pure/General/pretty.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 75957:515b17021c91 by wenzelm:
tuned: slightly more generic operations;
The file was modified src/Pure/General/json.scala (diff)
Changeset 75956:1e2a9d2251b0 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
remove duplicate parsing for alethe; fix skolemization;
The file was addedsrc/HOL/Tools/SMT/verit_strategies.ML
The file was modified src/HOL/SMT.thy (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.certs (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.thy (diff)
The file was modified src/HOL/Tools/SMT/lethe_proof.ML (diff)
The file was modified src/HOL/Tools/SMT/lethe_replay_methods.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_systems.ML (diff)
The file was modified src/HOL/Tools/SMT/verit_replay.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML (diff)
The file was removedsrc/HOL/Tools/SMT/verit_proof.ML