Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. support for FoilTeX with demo document;
  3. tuned comments;
  4. tuned whitespace for "isabelle doc" display;
  5. support for Easychair style with demo document;
  6. support for Dagstuhl LIPIcs style with demo document;
  7. clarified signature;
  8. tuned signature;
  9. tuned;
  10. tuned signature;
  11. clarified modules;
  12. tuned;
  13. tuned signature, following hints by IntelliJ IDEA;
Changeset 76400:d9c78a18b44b by wenzelm:
merged
Changeset 76399:d0a1f3eb0982 by wenzelm:
support for FoilTeX with demo document;
The file was addedsrc/Doc/Demo_FoilTeX/Document.thy
The file was addedsrc/Doc/Demo_FoilTeX/document/root.tex
The file was addedsrc/Pure/Admin/build_foiltex.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified doc/Contents (diff)
The file was modified etc/build.props (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 76398:fc35958d2e73 by wenzelm:
tuned comments;
The file was modified src/Pure/Admin/build_easychair.scala (diff)
Changeset 76397:95a71ee0fffd by wenzelm:
tuned whitespace for "isabelle doc" display;
The file was modified doc/Contents (diff)
Changeset 76396:389d77e6be9f by wenzelm:
support for Easychair style with demo document;
The file was addedsrc/Doc/Demo_Easychair/Document.thy
The file was addedsrc/Doc/Demo_Easychair/document/root.bib
The file was addedsrc/Doc/Demo_Easychair/document/root.tex
The file was addedsrc/Pure/Admin/build_easychair.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified doc/Contents (diff)
The file was modified etc/build.props (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 76395:fac28b6c37e8 by wenzelm:
support for Dagstuhl LIPIcs style with demo document;
The file was addedsrc/Doc/Demo_LIPIcs/Document.thy
The file was addedsrc/Doc/Demo_LIPIcs/document/root.bib
The file was addedsrc/Doc/Demo_LIPIcs/document/root.tex
The file was addedsrc/Pure/Admin/build_lipics.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified doc/Contents (diff)
The file was modified etc/build.props (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 76394:9d3b9e89455f by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 76393:f227ff7bff50 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/markup.ML (diff)
Changeset 76392:3fa81de0b6c5 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
Changeset 76391:6129e8cb140d by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala (diff)
Changeset 76390:5309f1283d93 by wenzelm:
clarified modules;
The file was modified etc/build.props (diff)
The file was modified src/Tools/jEdit/jedit_main/plugin.props (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
The file was removedsrc/Tools/jEdit/src/isabelle_options.scala
Changeset 76389:f70fcdc4cb43 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle_options.scala (diff)
Changeset 76388:03b4bb973d88 by wenzelm:
tuned signature, following hints by IntelliJ IDEA;
The file was modified src/Tools/jEdit/src/isabelle_options.scala (diff)