Re: [isabelle] Packaging for distros? (Ubuntu/Debian/Fedora?)

Thanks for all of your responses.  I did notice that the packaged binaries
seemed a bit large, and if Isabelle is shipping with all of its dependencies,
that explains it, and also explains why there's no packaging.

As several people pointed out, Isabelle can be run directly from the downloaded
tarball. That will work quite well for my purposes.


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