Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more tests;
  2. cover more history;
  3. cover more history;
  4. uniform notion of Symbol.is_controllable (see also 265d9300d523);
Changeset 66009:4fe8e0b2590a by wenzelm:
more tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66008:010698325e36 by wenzelm:
cover more history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66007:6706d6f0afda by wenzelm:
cover more history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66006:cec184536dfd by wenzelm:
uniform notion of Symbol.is_controllable (see also 265d9300d523);
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)