[CakeML-dev] Lem pain

[Ramana Kumar]

And 343c2e makes a bunch of unrelated Lem changes back...

On 6 Dec 2016 16:33, "Magnus Myreen" <magnus.myreen at gmail.com> wrote:

> 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
>
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161206/ac2c3e77/attachment.html>