https://github.com/2xs/dec
Tip revision: 79290ae2f92d437fe365a1b366a30e1eb2b83d19 authored by Paolo Torrini on 28 September 2018, 13:03:01 UTC
update to README
update to README
Tip revision: 79290ae
File | Mode | Size |
---|---|---|
doc | ||
src | ||
.gitignore | -rw-r--r-- | 28 bytes |
LICENSE | -rw-r--r-- | 21.3 KB |
README.md | -rw-r--r-- | 2.8 KB |
_CoqProject | -rw-r--r-- | 19 bytes |
make2file | -rwxr-xr-x | 71 bytes |
makedoc | -rwxr-xr-x | 525 bytes |