diff options
| author | Enrico Tassi | 2018-07-27 08:57:18 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-07-27 08:57:18 +0200 |
| commit | 19e2e202446b93781dd462272404cf430a39e591 (patch) | |
| tree | 4c978146f8c366296cd872f1de0285a94392b53f /kernel/nativevalues.ml | |
| parent | e7c1b08bbb300d31e82ca6c457fd4e3050239b9d (diff) | |
| parent | 6eba9ffea648aace40261aa6abb5f138cad27d2d (diff) | |
Merge PR #8166: Fix Search query in CoqIDE.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions