Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
  2. consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
  3. obsolete (see 60abd1e94168);
  4. more robust after shutdown;
  5. more sequential access to Session.manager.global_state: avoid minor divergence of tip version;
Changeset 70779:97b168f0c3a3 by wenzelm:
avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 70778:f326596f5752 by wenzelm:
consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 70777:b52a12559d92 by wenzelm:
obsolete (see 60abd1e94168);
The file was modified etc/options (diff)
Changeset 70776:93aed7526a94 by wenzelm:
more robust after shutdown;
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 70775:97d3485028b6 by wenzelm:
more sequential access to Session.manager.global_state: avoid minor divergence of tip version;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)