| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-12-08 | add option to specify rc (commands prepended to any coq file) | Quentin Aristote | |
| 2021-12-03 | initial commit | Quentin Aristote | |
 |
index : nix/venv-manager | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |