On Tue, 25 Sep 2012, Mark Wright wrote:
Did you include the important libsha1.so that is
part of the regular Isabelle2012 distribution of Poly/ML?
No, thanks for letting me know I should, I guess I should
build it from the source code here:
https://bitbucket.org/makarius
This is one of the
Makarius In the end the main question is how to serve users best.
Makarius There is hardly anybody missing a Debianized version of
Makarius Isabelle, but people occasionally come to me and say I should
Makarius bundle even more things in the one big Isabelle distribution,
Makarius bypassing