Summary
- more IDE support for Isabelle/Pure bootstrap;
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Isar/outer_syntax.ML (diff) |
The file was modified | src/Pure/PIDE/document.ML (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/thy_header.ML (diff) |
The file was modified | src/Pure/Thy/thy_header.scala (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |
The file was modified | src/Tools/jEdit/src/jedit_resources.scala (diff) |