[isabelle-dev] Haskabelle

Makarius makarius at sketis.net
Thu Oct 13 09:52:06 CEST 2016


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


More information about the isabelle-dev mailing list