Ian> I added a bit of infrastructure to maintain the chain of child Ian> databases for libraries. I myself intend to package a couple of Ian> libraries from the net, such as FGL and FXP.
Achim> do you have FXP (I assume you mean the XML Parser, aren't you) Achim> runnign with PolyML. I thought PolyML still lacks the Word32 Achim> structure which is needed by FXP. At least for us, the workaround Achim> of using LargeWord instead of Word32 resulted in a non-functional Achim> fxp...
No, I haven't tried. Do you know why using LargeWord failed? Maybe this will require actually adding Word32, shouldn't be too hard.
Achim> Debian Packages for Isabelle 2005 (based on sml/nj) and Proof Achim> General are available from my website:
Achim> http://www.brucker.ch/projects/debian/
I'll look, thanks. Chances are I'll have criticisms as I'm the retentive type. But in the end we should build both SMLNJ based and Poly/ML based packages from the same debianized source.