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.

John





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