Skip to content

create naproche patch

Joshua Balthasar Kobschätzki requested to merge naproche into main

Should fix naproche issues for #15/#20 by altering the naproche integration to listen on $ISABELLE_SERVER_HOST. This patch is pending testing and has a small problem with the haskell build for the added core-text dependency.

Merge request reports