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
grew
libcaml-grew
Repository
43521f9a607fe50819970fea2d374bbef3869be5
Switch branch/tag
libcaml-grew
src
grew_grs.ml
Find file
Blame
History
Permalink
function New_grs.simple_rewrite, second arg can be a strat description instead of a strat name
· 43521f9a
Bruno Guillaume
authored
Jul 13, 2017
43521f9a
