isabelle: Changelog

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;

wenzelm [Fri, 02 Jul 2021 12:17:07 +0200] rev 73919

proper treatment of leading zero;

wenzelm [Fri, 02 Jul 2021 12:12:43 +0200] rev 73918

support for jar resources;

isabelle