Revision e370e860a3f13c7d4da53b8cabfe25177e34c288 authored by Keith Alcock on 16 October 2020, 05:30:49 UTC, committed by GitHub on 16 October 2020, 05:30:49 UTC
Revert pgp for compatibility
File | Mode | Size |
---|---|---|
doc | ||
docker | ||
export | ||
main | ||
processors | ||
project | ||
src | ||
.gitattributes | -rw-r--r-- | 59 bytes |
.gitignore | -rw-r--r-- | 521 bytes |
.sbtopts | -rw-r--r-- | 68 bytes |
.travis.yml | -rw-r--r-- | 140 bytes |
CHANGES.md | -rw-r--r-- | 6.3 KB |
LICENSE.pdf | -rw-r--r-- | 63.0 KB |
README.md | -rw-r--r-- | 6.4 KB |
build.sbt | -rw-r--r-- | 3.4 KB |
fetch_nxml.py | -rw-r--r-- | 2.5 KB |
jenkinsfile | -rw-r--r-- | 192 bytes |
parse_papers | -rwxr-xr-x | 165 bytes |
runAllTests.bat | -rw-r--r-- | 67 bytes |
runAllTests.sh | -rwxr-xr-x | 542 bytes |
runPolarityTest.bat | -rw-r--r-- | 56 bytes |
runPolarityTest.sh | -rwxr-xr-x | 67 bytes |
runReachCLI.bat | -rw-r--r-- | 79 bytes |
runReachCLI.sh | -rwxr-xr-x | 384 bytes |
shell | -rwxr-xr-x | 54 bytes |
version.sbt | -rw-r--r-- | 41 bytes |
Computing file changes ...