Re: [isabelle] How to build a heap image

Hi Christian,

> Could this piece of information be put on a more prominent place. i.e. into an INSTALL file, the FAQ  or on the installation web page?

You might consider posting this on stackoverflow. There are a growing number of isabelle questions there, and the site is extremely googlable.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.