Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper deps;
  2. allow unrelated ancestor; clarified error;
  3. tuned;
  4. support alternative ancestor session;
  5. support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
Changeset 66991:fc87d3becd69 by wenzelm:
proper deps;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66990:b23adab22e67 by wenzelm:
allow unrelated ancestor;<br>clarified error;
The file was modified NEWS (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66989:25665e7775b7 by wenzelm:
tuned;
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)
Changeset 66988:7f8c1dd7576a by wenzelm:
support alternative ancestor session;
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)
Changeset 66987:352b23c97ac8 by wenzelm:
support focus_session, for much faster startup of Isabelle/jEdit;<br>more options for &quot;isabelle jedit&quot;;
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)