isabelle: Changelog

wenzelm [Sun, 11 Oct 2020 12:14:58 +0200] rev 72437

tuned messages;

haftmann [Sat, 10 Oct 2020 18:51:40 +0000] rev 72436

direct exit to theory when ending nested target on theory target

haftmann [Sat, 10 Oct 2020 18:43:10 +0000] rev 72435

tuned

haftmann [Sat, 10 Oct 2020 18:43:09 +0000] rev 72434

consolidated terminology

haftmann [Sat, 10 Oct 2020 18:43:07 +0000] rev 72433

avoid baroque export

wenzelm [Sat, 10 Oct 2020 22:06:17 +0200] rev 72432

clarified message;

wenzelm [Sat, 10 Oct 2020 22:05:47 +0200] rev 72431

tuned signature;

wenzelm [Sat, 10 Oct 2020 22:04:51 +0200] rev 72430

clarified options;

wenzelm [Sat, 10 Oct 2020 21:51:53 +0200] rev 72429

more explicit MinGW context;

wenzelm [Sat, 10 Oct 2020 21:45:58 +0200] rev 72428

clarified signature: allow complex bash script;

isabelle