Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | download.mk | 3934 | logplain |
-rw-r--r-- | initialize.mk | 14139 | logplain |
-rw-r--r-- | menke2020.mk | 3455 | logplain |
-rw-r--r-- | paper.mk | 5059 | logplain |
-rw-r--r-- | prepare.mk | 2156 | logplain |
-rw-r--r-- | top-make.mk | 5086 | logplain |
-rw-r--r-- | top-prepare.mk | 2596 | logplain |
-rw-r--r-- | verify.mk | 4567 | logplain |