testboard: Changelog

paulson [Sun, 10 Mar 2019 00:22:38 +0000] rev 70062

merged

paulson <lp15@cam.ac.uk> [Sun, 10 Mar 2019 00:09:45 +0000] rev 70061

tidied up HOL/ex/Primrec

haftmann [Fri, 08 Mar 2019 18:56:48 +0000] rev 70060

proper code_simp setup for literals

wenzelm [Fri, 08 Mar 2019 21:18:58 +0100] rev 70059

tuned -- more explicit type node_presentation;

wenzelm [Fri, 08 Mar 2019 19:22:28 +0100] rev 70058

tuned signature;

wenzelm [Fri, 08 Mar 2019 17:05:23 +0100] rev 70057

clarified modules; uniform "tag" parser;

paulson <lp15@cam.ac.uk> [Thu, 07 Mar 2019 16:59:12 +0000] rev 70056

renamed the constant "limit" as it is too "generic"

paulson <lp15@cam.ac.uk> [Thu, 07 Mar 2019 14:08:05 +0000] rev 70055

new material for Analysis

wenzelm [Wed, 06 Mar 2019 21:44:30 +0100] rev 70054

proper option (amending cc0b3e177b49);

wenzelm [Wed, 06 Mar 2019 19:48:02 +0100] rev 70053

removed junk;

testboard