Summary
- update documentation on Isabelle/ML exceptions;
- misc tuning;
- discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error);
- proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b);
- proper Scala version, e.g. for IntelliJ IDEA;
The file was modified | src/Doc/Implementation/ML.thy (diff) |
The file was modified | src/Doc/Implementation/ML.thy (diff) |
The file was modified | src/Pure/Concurrent/isabelle_thread.ML (diff) |
The file was modified | src/Pure/ML/ml_init.ML (diff) |
The file was modified | src/Pure/Pure.thy (diff) |
The file was modified | src/Tools/jEdit/jedit_main/isabelle_sidekick.scala (diff) |
The file was modified | src/Pure/Tools/scala_project.scala (diff) |