Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
d1bbf7caac9e6b11887eccb23706b3ac4d9b72e6
Switch branch/tag
why3
src
session
server_utils.ml
Find file
Blame
History
Permalink
ITP server: commands can now call a function of the controller
· d1bbf7ca
MARCHE Claude
authored
Apr 21, 2017
d1bbf7ca
MARCHE Claude authoredd1bbf7ca