Summary
- back to isabelle-dev repository;
- merged
- more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');
- tuned;
The file was modified | Admin/cronjob/self_update (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Tools/jEdit/src/text_structure.scala (diff) |
The file was modified | src/Tools/jEdit/src/isabelle.scala (diff) |