Summary
- proper deps;
- allow unrelated ancestor; clarified error;
- tuned;
- support alternative ancestor session;
- support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/ML/ml_console.scala (diff) |
The file was modified | src/Tools/VSCode/src/grammar.scala (diff) |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/JEdit/JEdit.thy (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Tools/jEdit/lib/Tools/jedit (diff) |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/JEdit/JEdit.thy (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Tools/jEdit/lib/Tools/jedit (diff) |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala (diff) |