Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
sarah.grebing
ProofScriptParser
Issues
#15
Closed
Open
Issue created
Jun 05, 2017
by
alexander.weigl
@weigl
🐼
Maintainer
Step Over
Implement Step Into
distinguish between script call and atomic command call
for script call, jump into the sub script.
for atomic command call, execute the call and capture all nodes in between.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information