Changes

Summary

merged
tuned signature;
support "purge" operation on document model;
proper template;
tuned;
accomodate very big file_models and changed_files;
tuned;
tuned
separate instance for semidom_modulo
generalized definition

Changeset 64869:a73ac9558220 by wenzelm: merged
Changeset 64868:6212d3c396b0 by wenzelm: tuned signature;
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)
Changeset 64867:e7220f4de11f by wenzelm: support "purge" operation on document model;
The file was modified	`NEWS` (diff)
The file was modified	`src/Pure/General/file_watcher.scala` (diff)
The file was modified	`src/Pure/PIDE/document.scala` (diff)
The file was modified	`src/Pure/PIDE/editor.scala` (diff)
The file was modified	`src/Tools/VSCode/src/document_model.scala` (diff)
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)
The file was modified	`src/Tools/jEdit/src/jedit_editor.scala` (diff)
The file was modified	`src/Tools/jEdit/src/theories_dockable.scala` (diff)
Changeset 64866:372c833c7660 by wenzelm: proper template;
The file was modified	`src/Pure/PIDE/editor.scala` (diff)
Changeset 64865:778c64c17363 by wenzelm: tuned;
The file was modified	`src/Tools/jEdit/src/info_dockable.scala` (diff)
Changeset 64864:eec7ffef0be6 by wenzelm: accomodate very big file_models and changed_files;
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)
Changeset 64863:e5572c1169fd by wenzelm: tuned;
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)
Changeset 64862:2baa926a958d by nipkow: tuned
The file was modified	`src/Doc/Prog_Prove/Types_and_funs.thy` (diff)
Changeset 64861:9e8de30fd859 by haftmann: separate instance for semidom_modulo
The file was modified	`src/HOL/Library/Polynomial.thy` (diff)
Changeset 64860:4d56170d97b3 by haftmann: generalized definition
The file was modified	`src/HOL/Library/Polynomial.thy` (diff)
The file was modified	`src/HOL/Library/Polynomial_Factorial.thy` (diff)