diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:39:45 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:39:45 +0200 |
commit | 8bb6ed60d9db8ebd29dae6fcce56cf56abfe26d7 (patch) | |
tree | f9883f5a67dfdbea3dc001deaf6733c2dadf2958 /src/versions/standard/g_smtcoq_standard.mlg | |
parent | fb324707f8d7c6b9d08e731bc7eaf8192d4fbdd6 (diff) | |
parent | c8a696682fcbdc720d67eb8d93f2c0c5b5c03548 (diff) | |
download | smtcoq-8bb6ed60d9db8ebd29dae6fcce56cf56abfe26d7.tar.gz smtcoq-8bb6ed60d9db8ebd29dae6fcce56cf56abfe26d7.zip |
Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10
Diffstat (limited to 'src/versions/standard/g_smtcoq_standard.mlg')
0 files changed, 0 insertions, 0 deletions