https://github.com/c-corn/corn
Revision de2fe65fe9cb65de6411202f62c0abfb1570ec97 authored by Robbert Krebbers on 08 March 2018, 21:30:34 UTC, committed by Robbert Krebbers on 08 March 2018, 21:30:34 UTC
This change is backwards compatible.
1 parent 271b57d
Tip revision: de2fe65fe9cb65de6411202f62c0abfb1570ec97 authored by Robbert Krebbers on 08 March 2018, 21:30:34 UTC
Get rid of `'` to provide compatibility with https://github.com/coq/coq/pull/6155
Get rid of `'` to provide compatibility with https://github.com/coq/coq/pull/6155
Tip revision: de2fe65
File | Mode | Size |
---|---|---|
algebra | ||
broken | ||
classes | ||
complex | ||
coq_reals | ||
doc | ||
dump | ||
examples | ||
fta | ||
ftc | ||
liouville | ||
logic | ||
metric2 | ||
metrics | ||
model | ||
ode | ||
old | ||
order | ||
raster | ||
reals | ||
site_scons | ||
stdlib_omissions | ||
tactics | ||
tools | ||
transc | ||
util | ||
.gitignore | -rw-r--r-- | 285 bytes |
.travis.yml | -rw-r--r-- | 499 bytes |
LICENSE | -rw-r--r-- | 17.6 KB |
Make | -rw-r--r-- | 6.9 KB |
Make.in | -rw-r--r-- | 38 bytes |
Makefile | -rw-r--r-- | 24.8 KB |
README.md | -rw-r--r-- | 1.3 KB |
SConstruct | -rw-r--r-- | 1.4 KB |
configure.sh | -rwxr-xr-x | 277 bytes |
description | -rw-r--r-- | 2.0 KB |
Computing file changes ...