diff options
| author | Maxime Dénès | 2017-05-28 12:44:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-28 12:44:20 +0200 |
| commit | ba0aa5993e4469b83a7bc5e9a03b347416fc2664 (patch) | |
| tree | 1a80609938db178907ad2db8b21d26da15059593 /API | |
| parent | 7d1cb9e0cbac64d91dcc8b71e8628f80746fff71 (diff) | |
| parent | 480b645dcebc8b8a91615526e1d2717699a5a7c7 (diff) | |
Merge PR#676: Primitive Ltac definitions for first and solve
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions