Revision cd1cbb7c1df83ae8f6840ef549028c50a1f1f87f authored by Laurent Théry on 05 May 2020, 09:56:50 UTC, committed by GitHub on 05 May 2020, 09:56:50 UTC
Adapt to Coq PR #12146: tactic subst now inactive on section variables with indirect dependency in goal
| File | Mode | Size |
|---|---|---|
| gencertif | ||
| opam | ||
| src | ||
| .gitattributes | -rw-r--r-- | 32 bytes |
| .gitignore | -rw-r--r-- | 166 bytes |
| .travis.yml | -rw-r--r-- | 849 bytes |
| LICENSE | -rw-r--r-- | 23.8 KB |
| Makefile | -rw-r--r-- | 252 bytes |
| README.md | -rw-r--r-- | 6.6 KB |
| _CoqProject | -rw-r--r-- | 1.2 KB |
Computing file changes ...
