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);
  3. support for "use_theories";
  4. JSON representation for Position.T;
  5. interruptible exploration of dependencies;
  6. tuned signature;
  7. clarified signature;
  8. clarified signature;
  9. tuned message;
  10. proper options;
  11. tuned options;
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)
Changeset 67883:171e7735ce25 by wenzelm:
support for &quot;use_theories&quot;;
The file was modified src/Pure/PIDE/protocol.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)
Changeset 67882:7eb4c966e156 by wenzelm:
JSON representation for Position.T;
The file was modified src/Pure/General/position.scala (diff)
Changeset 67881:812ed06dadec by wenzelm:
interruptible exploration of dependencies;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67880:e59220a075de by wenzelm:
tuned signature;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/check_keywords.scala (diff)
Changeset 67879:e4903b803b8b by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67878:15027fb50a0c by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67877:ff12c4556e2f by wenzelm:
tuned message;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67876:cc4832285c38 by wenzelm:
proper options;
The file was modified lib/Tools/client (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67875:641315ebed02 by wenzelm:
tuned options;
The file was modified src/Pure/Tools/server.scala (diff)