isabelle: Changelog

wenzelm [Sat, 10 Apr 2021 14:56:03 +0200] rev 73552

more documentation;

wenzelm [Sat, 10 Apr 2021 14:55:50 +0200] rev 73551

proper treatment of nested antiquotations; clarified signature;

wenzelm [Fri, 09 Apr 2021 22:06:59 +0200] rev 73550

support for ML special forms: modified evaluation similar to Scheme;

wenzelm [Fri, 09 Apr 2021 21:07:11 +0200] rev 73549

clarified signature: more detailed token positions for antiquotations;

wenzelm [Thu, 08 Apr 2021 20:52:19 +0200] rev 73548

merged

wenzelm [Thu, 08 Apr 2021 16:43:35 +0200] rev 73547

clarified signature;

haftmann [Thu, 08 Apr 2021 12:38:18 +0000] rev 73546

confluent preprocessing for floats in presence of target language numerals

haftmann [Wed, 07 Apr 2021 15:46:06 +0000] rev 73545

subclass relation

wenzelm [Wed, 07 Apr 2021 22:32:43 +0200] rev 73544

some tinkering with npm versions;

wenzelm [Wed, 07 Apr 2021 22:28:41 +0200] rev 73543

some tinkering with npm versions;

isabelle