diff options
| author | coqbot-app[bot] | 2021-03-22 11:29:35 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-22 11:29:35 +0000 |
| commit | dca133d15e39012ae2c7453d93987f500aa2c0fa (patch) | |
| tree | ef90b9cf67f873a90e1a94ba1692f9ed70c2c4b6 /kernel/kernel.mllib | |
| parent | fcfeb5bc45febe1a05f44a0a77b43be6b6905f35 (diff) | |
| parent | b809bf80bed06303f3d5aa2297787782a030f037 (diff) | |
Merge PR #13961: Implement ! goal selector for Ltac2.
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/kernel.mllib')
0 files changed, 0 insertions, 0 deletions