Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to isabelle-dev repository;
  2. merged
  3. more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');
  4. tuned;
Changeset 64538:5dd15fc22a53 by wenzelm:
back to isabelle-dev repository;
The file was modified Admin/cronjob/self_update (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64537:693389d87139 by wenzelm:
merged
Changeset 64536:e61de633a3ed by wenzelm:
more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 64535:4f161e8cdaac by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)