diff options
| author | Arnaud Spiwack | 2014-08-05 14:42:09 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-08-05 16:52:14 +0200 |
| commit | 2569645c3bf0944b24bac50cb61887097f50224a (patch) | |
| tree | dc55fba5bfec4e5af263a3771eb6b6067dee967e /kernel/nativecode.mli | |
| parent | e329ddbce4917f4cb90e038ed244698713f8f941 (diff) | |
Doc: uconstr now has a tactic notation entry.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions