5 Sep
2006
5 Sep
'06
3:22 p.m.
I have made debian packages for 4.2.0, to be found at
http://primate.net/~itz/debian/polyml
Tested only on i386.
I added a bit of infrastructure to maintain the chain of child databases for libraries. I myself intend to package a couple of libraries from the net, such as FGL and FXP. Later I'll tackle either Isabelle or ProofPower, but that will be a much bigger job.
--
She had a passion for anyone who could do anything really well.
... "Not for an engineer, not for a technician!"
Mikhail Bulgakov, The Master & Margarita