isabelle: Changelog

wenzelm [Tue, 10 Jan 2017 16:53:05 +0100] rev 64867

support "purge" operation on document model;

wenzelm [Tue, 10 Jan 2017 16:09:04 +0100] rev 64866

proper template;

wenzelm [Tue, 10 Jan 2017 16:03:50 +0100] rev 64865

tuned;

wenzelm [Tue, 10 Jan 2017 09:47:23 +0100] rev 64864

accomodate very big file_models and changed_files;

wenzelm [Tue, 10 Jan 2017 09:40:26 +0100] rev 64863

tuned;

nipkow [Tue, 10 Jan 2017 14:29:40 +0100] rev 64862

tuned

haftmann [Tue, 10 Jan 2017 11:37:18 +0100] rev 64861

separate instance for semidom_modulo

haftmann [Mon, 09 Jan 2017 23:00:11 +0100] rev 64860

generalized definition

wenzelm [Mon, 09 Jan 2017 23:27:10 +0100] rev 64859

tuned output;

wenzelm [Mon, 09 Jan 2017 22:54:48 +0100] rev 64858

update File_Model based on file-system events;

isabelle