Changes

Summary

initial Kodkod.warmup: preloading and basic integrity test;
strict init of protocol handlers;
clarified treatment of add-on prover_options;
clarified signature;
clarified modules;
tuned;
clarified signature;

Changeset 72218:a51736641843 by wenzelm: initial Kodkod.warmup: preloading and basic integrity test;
The file was modified	`src/HOL/Tools/Nitpick/kodkod.scala` (diff)
The file was modified	`src/HOL/Tools/etc/settings` (diff)
Changeset 72217:e35997591c5b by wenzelm: strict init of protocol handlers;
The file was modified	`src/Pure/PIDE/protocol.ML` (diff)
The file was modified	`src/Pure/PIDE/protocol_handlers.scala` (diff)
The file was modified	`src/Pure/PIDE/session.scala` (diff)
Changeset 72216:0d7cd97f6c48 by wenzelm: clarified treatment of add-on prover_options;
The file was modified	`src/Pure/PIDE/protocol_handlers.scala` (diff)
The file was modified	`src/Pure/PIDE/session.scala` (diff)
Changeset 72215:8f9cffa78112 by wenzelm: clarified signature;
The file was modified	`src/Pure/PIDE/session.scala` (diff)
The file was modified	`src/Pure/Tools/print_operation.scala` (diff)
The file was modified	`src/Tools/jEdit/src/query_dockable.scala` (diff)
Changeset 72214:5924c1da3c45 by wenzelm: clarified modules;
The file was modified	`src/Pure/System/isabelle_system.scala` (diff)
The file was modified	`src/Pure/library.scala` (diff)
Changeset 72213:6157757bb133 by wenzelm: tuned;
The file was modified	`src/Pure/ML/ml_statistics.scala` (diff)
The file was modified	`src/Pure/System/scala.scala` (diff)
Changeset 72212:53e8858b839f by wenzelm: clarified signature;
The file was modified	`src/Pure/ML/ml_statistics.scala` (diff)
The file was modified	`src/Pure/PIDE/session.scala` (diff)
The file was modified	`src/Pure/System/scala.scala` (diff)
The file was modified	`src/Pure/Tools/build.scala` (diff)
The file was modified	`src/Pure/Tools/debugger.scala` (diff)
The file was modified	`src/Pure/Tools/print_operation.scala` (diff)
The file was modified	`src/Pure/Tools/simplifier_trace.scala` (diff)