diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-02 15:04:57 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-02 15:04:57 +0200 |
commit | fd146ca38202c9843b4240cbdac0ae75f57e4d67 (patch) | |
tree | 39f0c957c4ea02e6976299b4183b6bcfa8ea9f7a /grammar | |
parent | 48ec42bb91b8c0fb4d5930e62e29a408de594482 (diff) | |
parent | fca82378cd2824534383f1f5bc09d08fade1dc17 (diff) |
Merge PR #7339: [api] Move bullets and goals selectors to `proofs/`
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions