![[Jenkins]](/jenkins/static/51af4dc4/images/svgs/logo.svg){kind=logo}
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) |