testboard: Changelog

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

wenzelm [Mon, 04 Dec 2017 23:10:52 +0100] rev 67134

merged

wenzelm [Mon, 04 Dec 2017 23:07:44 +0100] rev 67133

NEWS;

wenzelm [Mon, 04 Dec 2017 22:56:46 +0100] rev 67132

added action to make antiquoted cartouche;

testboard