isabelle: Changelog

nipkow [Wed, 06 Dec 2017 16:01:15 +0100] rev 67144

removed (un)important tags again to make latex happy

nipkow [Wed, 06 Dec 2017 15:17:05 +0100] rev 67143

initial version of Analysis document

nipkow [Wed, 06 Dec 2017 09:11:27 +0100] rev 67142

tuned

wenzelm [Tue, 05 Dec 2017 16:54:37 +0100] rev 67141

merged

wenzelm [Tue, 05 Dec 2017 16:03:58 +0100] rev 67140

more documentation;

wenzelm [Tue, 05 Dec 2017 15:55:14 +0100] rev 67139

explicit tag for document commands: avoid implicit use of document_tags;

wenzelm [Tue, 05 Dec 2017 15:29:37 +0100] rev 67138

system option for default command tags;

wenzelm [Tue, 05 Dec 2017 15:19:32 +0100] rev 67137

tuned;

wenzelm [Tue, 05 Dec 2017 14:03:10 +0100] rev 67136

tuned signature;

Manuel Eberl <eberlm@in.tum.de> [Tue, 05 Dec 2017 12:14:36 +0100] rev 67135

Moved material from AFP to Analysis/Number_Theory

isabelle