testboard: Changelog

paulson <lp15@cam.ac.uk> [Thu, 24 May 2018 21:58:17 +0100] rev 68264

more small tidying

immler [Thu, 24 May 2018 17:06:39 +0200] rev 68263

generalized Cramer's rule

nipkow [Thu, 24 May 2018 16:38:24 +0200] rev 68262

tuned

nipkow [Thu, 24 May 2018 14:42:47 +0200] rev 68261

reorganization, everything based on Tree2 now

haftmann [Thu, 24 May 2018 09:18:29 +0200] rev 68260

avoid overaggressive classical rule

nipkow [Thu, 24 May 2018 07:59:41 +0200] rev 68259

By Andrei Popescu based on an initial version by Kasper F. Brandt

paulson [Wed, 23 May 2018 21:34:08 +0100] rev 68258

merged

haftmann [Wed, 23 May 2018 09:37:14 +0000] rev 68257

more complete and more correct documentation on code generation

haftmann [Wed, 23 May 2018 07:13:11 +0000] rev 68256

grouped material on numeral division

haftmann [Tue, 22 May 2018 18:14:29 +0000] rev 68255

automatic classical rule to derive a dvd b from b mod a = 0

testboard