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.tum.de/repos/isabelle/rev/cd266473b81b Is there a deeper reason, why Haskabelle is not part of the main Isabelle repository? Things outside of that tend to fall into decay. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
