Changes

Summary

misc tuning and modernization;
more completion templates;
proper purge of auxiliary bibtex theory;
tuned signature;
tuned;

Changeset 67312:0d25e02759b7 by wenzelm: misc tuning and modernization;
The file was modified	`src/HOL/HOLCF/Adm.thy` (diff)
The file was modified	`src/HOL/HOLCF/Bifinite.thy` (diff)
The file was modified	`src/HOL/HOLCF/Cfun.thy` (diff)
The file was modified	`src/HOL/HOLCF/Cont.thy` (diff)
The file was modified	`src/HOL/HOLCF/Cpodef.thy` (diff)
The file was modified	`src/HOL/HOLCF/Cprod.thy` (diff)
The file was modified	`src/HOL/HOLCF/Deflation.thy` (diff)
The file was modified	`src/HOL/HOLCF/Discrete.thy` (diff)
The file was modified	`src/HOL/HOLCF/Fix.thy` (diff)
The file was modified	`src/HOL/HOLCF/Fun_Cpo.thy` (diff)
The file was modified	`src/HOL/HOLCF/Map_Functions.thy` (diff)
The file was modified	`src/HOL/HOLCF/One.thy` (diff)
The file was modified	`src/HOL/HOLCF/Pcpo.thy` (diff)
The file was modified	`src/HOL/HOLCF/Porder.thy` (diff)
The file was modified	`src/HOL/HOLCF/Product_Cpo.thy` (diff)
The file was modified	`src/HOL/HOLCF/Sfun.thy` (diff)
The file was modified	`src/HOL/HOLCF/Sprod.thy` (diff)
The file was modified	`src/HOL/HOLCF/Ssum.thy` (diff)
The file was modified	`src/HOL/HOLCF/Tr.thy` (diff)
The file was modified	`src/HOL/HOLCF/Up.thy` (diff)
Changeset 67311:3869b2400e22 by wenzelm: more completion templates;
The file was modified	`NEWS` (diff)
The file was modified	`etc/symbols` (diff)
The file was modified	`src/Pure/General/completion.scala` (diff)
The file was modified	`src/Pure/General/symbol.scala` (diff)
Changeset 67310:506acf60d6b1 by wenzelm: proper purge of auxiliary bibtex theory;
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)
Changeset 67309:0e322d7325c3 by wenzelm: tuned signature;
The file was modified	`src/Pure/PIDE/document.scala` (diff)
Changeset 67308:760bbf416f1d by wenzelm: tuned;
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)