Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);
  2. clarified signature;
  3. clarified modules;
  4. clarified signature: more operations;
  5. tuned comments;
  6. more NEWS;
  7. more TODO;
  8. prefer strict test of system options;
  9. some build cluster resources at TUM;
  10. build cluster host specifications are based on registry entries (table prefix "host");
  11. more robust init;
  12. clarified signature: more operations;
  13. support interpreted/typed entries via Registry.Category and Registry.Table;
  14. clarified signature: more operations;
  15. clarified output;
  16. support for global registry;
  17. clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
Changeset 78954:db9dba720ac7 by wenzelm:
proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);
The file was modified src/Pure/General/bytes.scala (diff)
Changeset 78953:b6116a86d2ac by wenzelm:
clarified signature;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/ML/ml_heap.scala (diff)
Changeset 78952:4e1dc465dfcc by wenzelm:
clarified modules;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
Changeset 78951:c8c40e11c907 by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/System/registry.scala (diff)
Changeset 78950:cd350dcd912a by wenzelm:
tuned comments;
The file was modified src/Pure/System/registry.scala (diff)
Changeset 78949:2d1275c7db99 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 78948:20f2f34a81bd by wenzelm:
more TODO;
The file was modified src/Pure/General/toml.scala (diff)
Changeset 78947:2a27d2c8eae8 by wenzelm:
prefer strict test of system options;
The file was modified src/Pure/System/registry.scala (diff)
Changeset 78946:87ac093e4d1a by wenzelm:
some build cluster resources at TUM;
The file was addedAdmin/build/TUM.toml
Changeset 78945:73162a487f94 by wenzelm:
build cluster host specifications are based on registry entries (table prefix "host");
The file was modified src/Pure/System/registry.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_cluster.scala (diff)
Changeset 78944:b0b86fead48c by wenzelm:
more robust init;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 78943:bc89bdc65f29 by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/Tools/build_cluster.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 78942:409442cb7814 by wenzelm:
support interpreted/typed entries via Registry.Category and Registry.Table;
The file was modified src/Pure/System/registry.scala (diff)
Changeset 78941:bc7b7357f4bc by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/General/toml.scala (diff)
Changeset 78940:4cb67b3895b9 by wenzelm:
clarified output;
The file was modified src/Pure/System/registry.scala (diff)
Changeset 78939:218929597048 by wenzelm:
support for global registry;
The file was addedsrc/Pure/System/registry.scala
The file was modified etc/build.props (diff)
The file was modified etc/settings (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Pure/General/toml.scala (diff)
Changeset 78938:7774e1372476 by wenzelm:
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
The file was modified etc/settings (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Tools/VSCode/src/component_vscodium.scala (diff)