https://github.com/gapt/gapt
Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
release 2.16.0
release 2.16.0
Tip revision: 2f9ab4b
File | Mode | Size |
---|---|---|
README.dist | -rw-r--r-- | 1.0 KB |
evalCodeSnippetsInLatex.scala | -rw-r--r-- | 9.5 KB |
logo.pdf | -rw-r--r-- | 10.6 KB |
logo.svg | -rw-r--r-- | 11.8 KB |
references.bib | -rw-r--r-- | 7.7 KB |
release-checklist.md | -rw-r--r-- | 439 bytes |
rootdoc.txt | -rw-r--r-- | 104 bytes |
user_manual.tex | -rw-r--r-- | 116.4 KB |