https://github.com/gapt/gapt
Tip revision: 638ab6eba39248c195ecf9594df18d38082ebac4 authored by Gabriel Ebner on 07 September 2015, 16:11:09 UTC
Release 1.10.
Release 1.10.
Tip revision: 638ab6e
File | Mode | Size |
---|---|---|
calculus-proposal | ||
doc | ||
examples | ||
lib | ||
project | ||
protocols | ||
src | ||
testing | ||
.gitignore | -rw-r--r-- | 561 bytes |
.travis.yml | -rw-r--r-- | 151 bytes |
COPYING | -rw-r--r-- | 34.3 KB |
README.md | -rw-r--r-- | 1.2 KB |
atp.sh | -rwxr-xr-x | 116 bytes |
build.sbt | -rw-r--r-- | 5.2 KB |
cli.sh | -rwxr-xr-x | 427 bytes |
gui.sh | -rwxr-xr-x | 114 bytes |
include.sh | -rw-r--r-- | 716 bytes |