protof new

This command creating new protocol in Proof directory, in Appdata. You input command for shell, like in interpreter

Last updated