isabelle: Changelog

wenzelm [Tue, 06 Jul 2021 12:36:47 +0200] rev 73929

clarified version: Apple now counts like 11, 12, ...;

paulson <lp15@cam.ac.uk> [Sun, 04 Jul 2021 18:35:57 +0100] rev 73928

Imported lots of material from Stirling_Formula/Gamma_Asymptotics

paulson [Fri, 02 Jul 2021 20:43:39 +0100] rev 73927

merged

paulson <lp15@cam.ac.uk> [Fri, 02 Jul 2021 20:39:15 +0100] rev 73926

arg for the nonstandard complex numbers

paulson [Fri, 02 Jul 2021 15:54:41 +0100] rev 73925

merged

paulson <lp15@cam.ac.uk> [Fri, 02 Jul 2021 15:54:31 +0100] rev 73924

converting arg to Arg

paulson <lp15@cam.ac.uk> [Wed, 30 Jun 2021 17:18:58 +0100] rev 73923

just a bit of tidying up

wenzelm [Fri, 02 Jul 2021 14:08:45 +0200] rev 73922

create jar in pure Java;

wenzelm [Fri, 02 Jul 2021 12:23:42 +0200] rev 73921

tuned signature;

wenzelm [Fri, 02 Jul 2021 12:19:40 +0200] rev 73920

clarified order;

isabelle