I for one am hoping to be able to get rid of the Old Number Theory
before the release. All that is left to do is actually to adapt some
theories of the ported theories to my recent changes concerning prime
numbers, so I think I should be able to take care of that next week.
Cheers,
Manuel
On 12
What is the maintenance status of Haskabelle?
There is still at least one open point concerning the new "isabelle
process" wrapper and discontinuation of the old $ISABELLE_PROCESS.
See also
http://isabelle.in.tum.de/repos/haskabelle/annotate/b885ee4618d8/lib/mk_adapt#l57
http://isabelle.in.tu