diff options
| author | Gaëtan Gilbert | 2019-06-12 14:52:30 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-06-12 14:52:30 +0200 |
| commit | c049fa922fd1a12a4a5faddcd06b3475d0529cf6 (patch) | |
| tree | d4290b00dc4139fb40f1a516fa04b5f0f7d8cac2 /interp/implicit_quantifiers.ml | |
| parent | 288f567897a8af92a4a0c78c63a433b6f64af0d0 (diff) | |
| parent | c80a4599dfe5f3049323dd1aedf38e3072525d4f (diff) | |
Merge PR #10358: [docker] update elpi to 1.3.1
Reviewed-by: SkySkimmer
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions