swh:1:snp:f21a40066c2663969c9a5e9a10322d327835126e
Tip revision: 9979d6073e5d5da8231573df1309c618362c6ddd authored by Gregory Malecha on 30 April 2019, 21:41:48 UTC
support for Extractable.tmDependencies.
support for Extractable.tmDependencies.
Tip revision: 9979d60
| File | Mode | Size |
|---|---|---|
| checker | ||
| extraction | ||
| html | ||
| pcuic | ||
| template-coq | ||
| test-suite | ||
| translations | ||
| .gitignore | -rw-r--r-- | 5.6 KB |
| .travis.yml | -rw-r--r-- | 1.0 KB |
| LICENSE | -rw-r--r-- | 1.2 KB |
| Makefile | -rw-r--r-- | 1.2 KB |
| README.md | -rw-r--r-- | 7.9 KB |
| movefiles.sh | -rwxr-xr-x | 326 bytes |
