Re: [isabelle] Build Isabelle from stock dependencies (Fedora 14)
On Fri, 28 Jan 2011, Matej Urbas wrote:
I made some notes about 'building Isabelle on Fedora from stock
dependencies' and I thought it wouldn't hurt to share (see attachments).
Ignore this if there is a better guide around (or if there is a better
way of doing it in general).
How about the official Isabelle download page? This is isabelle-users so
it by definition about official end-user releases of Isabelle.
Anybody with spare energies for script hacking and tinkering with system
configuration is invited to join the isabelle-dev mailing list. Right now
we are in the last phase of testing for the next official release. Even
though we've already spent 2 full weeks just refinining and testing the
final packaging there are still some issues to be isolated in the next
couple of days.
This archive was generated by a fusion of
Pipermail (Mailman edition) and