Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. misc tuning and modernization;
  2. back to isabelle-dev repository;
  3. merged
  4. more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');
  5. tuned;
Changeset 64539:a868c83aa66e by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
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)