diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-09-09 11:20:04 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-11-10 16:38:51 +0100 |
commit | bd1c976531ad6154339fff7e48e85dbe7951de23 (patch) | |
tree | 432374009e0a63b7e64a9d75114ccda2173e933d /lib/genarg.mli | |
parent | 2bad1e8d896b40495bc8579e407f142f7f3fb7d9 (diff) |
Activating bracketing of last or-and introduction pattern by default
for more regularity.
Diffstat (limited to 'lib/genarg.mli')
0 files changed, 0 insertions, 0 deletions