start open-axiom in hyperdoc click 'browse' enter 'length' click 'operations' select 'exposed only' hyperdoc terminates and on the main window appears 'reading: get_int: Connection reset by peer'
Log in to post a comment.