Summary
- allow user-defined server commands via isabelle_scala_service;
- more systematic support for special directories;
- proper init of cumulative settings;
The file was modified | NEWS (diff) |
The file was modified | etc/settings (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 | NEWS (diff) |
The file was modified | etc/settings (diff) |
The file was modified | lib/scripts/getfunctions (diff) |
The file was modified | lib/scripts/getsettings (diff) |
The file was modified | src/Pure/General/path.ML (diff) |
The file was modified | src/Pure/PIDE/resources.ML (diff) |
The file was modified | src/Tools/Code/code_target.ML (diff) |
The file was modified | lib/scripts/getsettings (diff) |