diff options
| author | Hugo Herbelin | 2014-10-02 11:50:02 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-02 16:17:29 +0200 |
| commit | 93de73a77ffe64fef2f203fc638969466506e417 (patch) | |
| tree | 0f12cb584a82101cd2fed546634d0ab2e4d9b148 /lib/cArray.ml | |
| parent | 0b43e30aeaf58f5ae2a0d05bb70c8c76f3068f52 (diff) | |
Adapting the output test Notations:
- unbound variables in notation are allowed, forcing only parsing mode
- plus and mult are now themselves abbreviations
- evars are named
Diffstat (limited to 'lib/cArray.ml')
0 files changed, 0 insertions, 0 deletions