[isabelle-dev] Code generation to OCaml and Scala

[Frédéric Tuong]

Hi Florian,

> For SML, I kept everything as it is since
> a) the code is separate from OCaml anyway
> b) the "let … end" is always safe regardless of surrounding whitespace.
>
> Or did I miss something here?

Here the SML part should be kept as it is (the generation was working 
correctly for me in SML), so your modifications on OCaml side are 
enough, this is good!

Thanks also for your changes in Scala,
Frédéric