[CakeML-dev] Lem pain

Magnus Myreen magnus.myreen at gmail.com
Tue Dec 6 05:32:12 UTC 2016

I had the same problem. Ramana's advice was: if you don't intend to
change the Lem files, then the easiest solution is to uninstall Lem.
-- Magnus

On 6 December 2016 at 16:19,  <Michael.Norrish at data61.csiro.au> wrote:
> Commit c3acbd96 seems to have made lots of completely unnecessary changes to various lem-generated files.  I guess Ramana has changed his lem-version?  Which version *should* we be using?
> Michael
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers

More information about the Developers mailing list