https://github.com/aprove-developers/LoAT
Tip revision: 8254029fb7f4aeab9ac7b3d1b49d6e7630bf5825 authored by ffrohn on 09 August 2022, 09:19:28 UTC
redirect to new url
redirect to new url
Tip revision: 8254029
File | Mode | Size |
---|---|---|
bundle.template | ||
docs | ||
example | ||
grammars | ||
nbproject | ||
src | ||
talks | ||
.gitignore | -rw-r--r-- | 334 bytes |
CMakeLists.txt | -rw-r--r-- | 7.9 KB |
COPYING | -rw-r--r-- | 34.3 KB |
Dockerfile | -rw-r--r-- | 4.3 KB |
README.md | -rw-r--r-- | 509 bytes |
build.sh | -rwxr-xr-x | 1.5 KB |
compile_static_binary | -rwxr-xr-x | 519 bytes |
dot2pdf.sh | -rwxr-xr-x | 417 bytes |
logo.svg | -rw-r--r-- | 55.2 KB |
splitdot2pdf.sh | -rwxr-xr-x | 491 bytes |