Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 182 | logplain |
-rw-r--r-- | Makefile | 286 | logplain |
-rw-r--r-- | decisions.but | 1028 | logplain |
-rw-r--r-- | decisions.mlf | 1402 | logplain |
-rw-r--r-- | decisions.mls | 2656 | logplain |
-rw-r--r-- | decisions.tex | 3076 | logplain |
-rwxr-xr-x | makebugs | 2372 | logplain |
-rwxr-xr-x | makemails | 3759 | logplain |
-rw-r--r-- | summary-20151108.tex | 1518 | logplain |
-rw-r--r-- | summary-20151213.tex | 1906 | logplain |
-rw-r--r-- | summary-20160110.tex | 2936 | logplain |
-rw-r--r-- | summary-20160214.tex | 3798 | logplain |
-rw-r--r-- | summary-20160313.tex | 1893 | logplain |
-rw-r--r-- | summary-20160410.tex | 1839 | logplain |
-rw-r--r-- | summary-20160508.tex | 743 | logplain |
-rw-r--r-- | summary-20160710.tex | 1099 | logplain |
-rw-r--r-- | summary-20160814.tex | 1276 | logplain |
-rw-r--r-- | summary-20160911.tex | 1290 | logplain |
-rw-r--r-- | summary-20161009.tex | 919 | logplain |
-rw-r--r-- | summary-20161113.tex | 2552 | logplain |