Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. system option "system_heaps" supersedes various command-line options for "system build mode"; clarified "isabelle jedit" options -n, -s, -u;
  2. more uniform session_system_mode (see also e57416b649d5);
  3. more implicit reload, similar to VSCode;
  4. clarified signature; more thorough end_pos;
Changeset 69854:cc0b3e177b49 by wenzelm:
system option &quot;system_heaps&quot; supersedes various command-line options for &quot;system build mode&quot;;<br>clarified &quot;isabelle jedit&quot; options -n, -s, -u;
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Admin/ci_profile.scala (diff)
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Pure/Tools/update.scala (diff)
The file was modified src/Tools/VSCode/src/server.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 src/Tools/jEdit/src/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
Changeset 69853:f7c9a1be333f by wenzelm:
more uniform session_system_mode (see also e57416b649d5);
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 69852:54243334edcf by wenzelm:
more implicit reload, similar to VSCode;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69851:29a4f633609e by wenzelm:
clarified signature;<br>more thorough end_pos;
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/ML/ml_file.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)