create naproche patch
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
Activity
Filter activity
assigned to @cobalt.rocks
mentioned in issue ism#20 (closed)
The updated version is now able to start a session and finish init with isabelle server. It will for now be merged and used for further testing.
Edited by Joshua Balthasar Kobschätzkimentioned in commit b0b65aad
Please register or sign in to reply