Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Issues
#27
Closed
Open
Created
Jun 20, 2017
by
sarah.grebing
@xt9634
Owner
Implement SetMainScript
This functionality should:
mark the scriptname, that is set as main script
set the scripttab as activeTab
show the state of this script in the active goalTab
Edited
Jun 20, 2017
by
sarah.grebing
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information