Add coq.env.add-context for inserting context declarations (#737)
#543
| Job | Run time |
|---|---|
| 1m 4s | |
| 1m 24s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 2m 28s |