Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. NEWS;
  3. added action to make antiquoted cartouche;
  4. tuned signature;
  5. tuned signature;
  6. added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit;
  7. clarified control style;
  8. font style for literal control symbols, notably for antiquotations;
  9. tuned;
  10. tuned comments;
  11. more lemmas
Changeset 67134:66ce07e8dbf2 by wenzelm:
merged
Changeset 67133:540eeaf88a63 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 67132:336831647779 by wenzelm:
added action to make antiquoted cartouche;
The file was modified src/Pure/General/antiquote.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (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 67131:85d10959c2e4 by wenzelm:
tuned signature;
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/Tools/update_cartouches.scala (diff)
Changeset 67130:b023f64e0d16 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/isabelle_encoding.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 67129:0262a378d5d6 by wenzelm:
added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit;
The file was modified src/Pure/GUI/gui_thread.scala (diff)
Changeset 67128:4d91b6d5d49c by wenzelm:
clarified control style;
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 67127:cf111622c9f8 by wenzelm:
font style for literal control symbols, notably for antiquotations;
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 67126:143f0ba01415 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 67125:361b3ef643a7 by wenzelm:
tuned comments;
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 67124:335ed2834ebc by nipkow:
more lemmas
The file was modified src/HOL/List.thy (diff)