Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. more Isabelle/jEdit actions;
  2. tuned signature;
  3. tuned;
  4. tuned lift_bnf's user interface for quotients
Changeset 71497:a80fa14bccb8 by wenzelm:
more Isabelle/jEdit actions;
The file was modified NEWS (diff)
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 71496:5d62f797e40c by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 71495:633a8d52fef2 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 71494:cbe0b6b0bed8 by traytel:
tuned lift_bnf's user interface for quotients
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
The file was modified src/HOL/Library/Dlist.thy (diff)
The file was modified src/HOL/Quotient.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Tools/BNF/bnf_lift.ML (diff)
The file was removedsrc/HOL/Datatype_Examples/Dlist.thy