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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
