| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DafnyRef.bib | 1911 | logplain |
| -rw-r--r-- | DafnyRef.mdk | 315746 | logplain |
| -rw-r--r-- | css.sty | 28197 | logplain |
| -rw-r--r-- | dafnyx.json | 78 | logplain |
| -rw-r--r-- | ignores.dic | 748 | logplain |
| -rw-r--r-- | krml250.bib | 67245 | logplain |
| -rw-r--r-- | madoko.css | 9876 | logplain |
| d--------- | out | 81 | logplain |
| -rw-r--r-- | paper-full.bib | 19077 | logplain |
| -rw-r--r-- | poc.bib | 17162 | logplain |
| -rw-r--r-- | references.bib | 50259 | logplain |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |