Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system;
  2. clarified signature -- avoid warning;
  3. tuned;
  4. clarified imports;
Changeset 71777:3875815f5967 by wenzelm:
clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system;
The file was modified src/Doc/Implementation/Logic.thy (diff)
The file was modified src/HOL/Tools/rewrite_hol_proof.ML (diff)
The file was modified src/Pure/ML/ml_pp.ML (diff)
The file was modified src/Pure/Proof/proof_checker.ML (diff)
The file was modified src/Pure/Proof/proof_rewrite_rules.ML (diff)
The file was modified src/Pure/Proof/proof_syntax.ML (diff)
The file was modified src/Pure/proofterm.ML (diff)
The file was modified src/Pure/pure_thy.ML (diff)
The file was modified src/Pure/pure_thy.scala (diff)
The file was modified src/Pure/term.scala (diff)
The file was modified src/Pure/term_xml.scala (diff)
The file was modified src/Pure/thm.ML (diff)
Changeset 71776:5ef7f374e0f8 by wenzelm:
clarified signature -- avoid warning;
The file was modified src/Pure/General/json.scala (diff)
Changeset 71775:291c46bf3000 by wenzelm:
tuned;
The file was modified src/Pure/General/sha1.scala (diff)
The file was modified src/Tools/jEdit/src/active.scala (diff)
Changeset 71774:491f185fd705 by wenzelm:
clarified imports;
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_spell_checker.scala (diff)