wenzelm [Sat, 03 Nov 2018 19:31:50 +0100] rev 69224
tuned comments;
wenzelm [Sat, 03 Nov 2018 19:31:15 +0100] rev 69223
more operations;
wenzelm [Thu, 01 Nov 2018 13:53:29 +0100] rev 69222
support for Isabelle tool development in Haskell;
Angeliki KoutsoukouArgyraki <ak2110@cam.ac.uk> [Thu, 01 Nov 2018 18:19:33 +0000] rev 69221
tagged a theory for the Analysis manual
blanchet [Thu, 01 Nov 2018 14:36:19 +0100] rev 69220
more
nipkow [Thu, 01 Nov 2018 12:23:54 +0100] rev 69219
too many clashes with "root" on reals
nipkow [Thu, 01 Nov 2018 11:26:38 +0100] rev 69218
added and renamed functions
blanchet [Thu, 01 Nov 2018 09:25:58 +0100] rev 69217
added an example
wenzelm [Wed, 31 Oct 2018 15:53:32 +0100] rev 69216
clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
wenzelm [Wed, 31 Oct 2018 15:50:45 +0100] rev 69215
tuned;
wenzelm [Wed, 31 Oct 2018 14:47:59 +0100] rev 69214
tuned;
wenzelm [Tue, 30 Oct 2018 22:59:06 +0100] rev 69213
merged
wenzelm [Tue, 30 Oct 2018 22:08:36 +0100] rev 69212
tuned example;
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;