isabelle: Changelog

wenzelm [Wed, 12 Oct 2016 15:04:32 +0200] rev 64166

tuned signature;

wenzelm [Wed, 12 Oct 2016 11:48:53 +0200] rev 64165

modernized;

haftmann [Wed, 12 Oct 2016 20:38:47 +0200] rev 64164

separate type class for arbitrary quotient and remainder partitions

haftmann [Tue, 11 Oct 2016 16:44:13 +0200] rev 64163

stripped dependency on pragmatic type class semiring_div

wenzelm [Wed, 12 Oct 2016 11:31:08 +0200] rev 64162

simplified: no internal state for Mercurial;

wenzelm [Wed, 12 Oct 2016 10:22:34 +0200] rev 64161

explicit indication of Admin tools;

wenzelm [Wed, 12 Oct 2016 09:38:20 +0200] rev 64160

clarified files;

wenzelm [Wed, 12 Oct 2016 09:32:48 +0200] rev 64159

explicit timezone for the sake of lxbroy10;

wenzelm [Tue, 11 Oct 2016 23:09:36 +0200] rev 64158

proper redirection;

wenzelm [Tue, 11 Oct 2016 22:30:48 +0200] rev 64157

tuned output;

isabelle