Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer typed UUID;
  2. unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);
Changeset 67885:839a624aabb9 by wenzelm:
prefer typed UUID;
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Pure/library.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 67884:43af581d7d8e by wenzelm:
unload_theories after consolidation -- reset node_required;<br>proper node_perspective (amending 0d8e4e777973);
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)