Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | demo-plot.mk | 2008 | logplain |
-rw-r--r-- | download.mk | 4155 | logplain |
-rw-r--r-- | format.mk | 3782 | logplain |
-rw-r--r-- | initialize.mk | 14522 | logplain |
-rw-r--r-- | paper.mk | 5063 | logplain |
-rw-r--r-- | prepare.mk | 2268 | logplain |
-rw-r--r-- | top-make.mk | 5098 | logplain |
-rw-r--r-- | top-prepare.mk | 2225 | logplain |
-rw-r--r-- | verify.mk | 4569 | logplain |