Summary
- more tests;
- cover more history;
- cover more history;
- uniform notion of Symbol.is_controllable (see also 265d9300d523);
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
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) |