isabelle: Changelog

clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);

Wed, 31 Oct 2018 15:50:45 +0100 tuned;

changeset

wenzelm [Wed, 31 Oct 2018 15:50:45 +0100] rev 69215

tuned;

Wed, 31 Oct 2018 14:47:59 +0100 tuned;

changeset

wenzelm [Wed, 31 Oct 2018 14:47:59 +0100] rev 69214

tuned;

Tue, 30 Oct 2018 22:59:06 +0100 merged

changeset

wenzelm [Tue, 30 Oct 2018 22:59:06 +0100] rev 69213

merged

Tue, 30 Oct 2018 22:08:36 +0100 tuned example;

changeset

wenzelm [Tue, 30 Oct 2018 22:08:36 +0100] rev 69212

tuned example;

Tue, 30 Oct 2018 22:05:30 +0100 added GHC.read_source: read Haskell source text with antiquotations;

changeset

wenzelm [Tue, 30 Oct 2018 22:05:30 +0100] rev 69211

added GHC.read_source: read Haskell source text with antiquotations; added "cartouche" antiquotation for ML string expressions as Haskell string literals;

Tue, 30 Oct 2018 19:25:32 +0100 tuned -- prefer GHC.print_codepoint;

changeset

wenzelm [Tue, 30 Oct 2018 19:25:32 +0100] rev 69210

tuned -- prefer GHC.print_codepoint;

Tue, 30 Oct 2018 19:18:01 +0100 support for GHC: string literals;

changeset

wenzelm [Tue, 30 Oct 2018 19:18:01 +0100] rev 69209

support for GHC: string literals;

Tue, 30 Oct 2018 19:14:31 +0100 some support for UTF-8 (similar to Isabelle/Scala version);

changeset

wenzelm [Tue, 30 Oct 2018 19:14:31 +0100] rev 69208

some support for UTF-8 (similar to Isabelle/Scala version);