Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more operations: support type classes within the logic;
  2. clarified export of sort algebra: avoid logical operations in Isabelle/Scala;
  3. more operations (avoid clones in Isabelle/MMT and Isabelle/Dedukti);
  4. more robust: avoid folding of jEdit file-names wrt. JEDIT_SESSION_DIRS;
Changeset 70385:68d2c533db9c by wenzelm:
more operations: support type classes within the logic;
The file was modified src/Pure/pure_thy.scala (diff)
The file was modified src/Pure/term.scala (diff)
Changeset 70384:8ce08b154aa1 by wenzelm:
clarified export of sort algebra: avoid logical operations in Isabelle/Scala;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
The file was modified src/Pure/logic.ML (diff)
Changeset 70383:38ac2e714729 by wenzelm:
more operations (avoid clones in Isabelle/MMT and Isabelle/Dedukti);
The file was modified src/Pure/term.scala (diff)
Changeset 70382:23ba5a638e6d by wenzelm:
more robust: avoid folding of jEdit file-names wrt. JEDIT_SESSION_DIRS;
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)