If you have a Github account, you can make one. This will require you to fork this project to your own user first, Do/commit the changes there and create a new pull request from the master branch of ...
Updates are probably required to smlib for 1.10 compatibility, but I haven't investigated. to join this conversation on GitHub. Already have an account? Assignees No one assigned Labels user help ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results