isabelle: Changelog

wenzelm [Wed, 07 Jul 2021 15:40:33 +0200] rev 73931

more robust treatment of empty string;

wenzelm [Wed, 07 Jul 2021 14:32:43 +0200] rev 73930

invoke Scala compiler from Java, without external process; tuned messages;

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;

isabelle