summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore191logplain
-rw-r--r--Makefile425logplain
-rw-r--r--decisions.but3402logplain
-rw-r--r--decisions.mlf4070logplain
-rw-r--r--decisions.mls7717logplain
-rw-r--r--decisions.mlt4767logplain
-rw-r--r--decisions.tex4524logplain
-rwxr-xr-xmakebugs2372logplain
-rwxr-xr-xmakemails5005logplain
-rw-r--r--summary-20130108.tex2362logplain
-rw-r--r--summary-20130212.tex1495logplain
-rw-r--r--summary-20130312.tex633logplain
-rw-r--r--summary-20130409.tex2308logplain
-rw-r--r--summary-20130514.tex1002logplain
-rw-r--r--summary-20130611.tex1104logplain
-rw-r--r--summary-20130730.tex2188logplain
-rw-r--r--summary-20130813.tex2912logplain
-rw-r--r--summary-20140114.tex2202logplain
-rw-r--r--summary-20140225.tex2552logplain
-rw-r--r--summary-20140311.tex3638logplain
-rw-r--r--summary-20140408.tex4777logplain
-rw-r--r--summary-20140513.tex1779logplain
-rw-r--r--summary-20140610.tex2023logplain
-rw-r--r--summary-20140617.tex2982logplain
-rw-r--r--summary-20140624.tex805logplain
-rw-r--r--summary-20140725.tex875logplain
-rw-r--r--summary-20140812.tex2299logplain
-rw-r--r--summary-20140826.tex2099logplain
-rw-r--r--summary-20140909.tex1030logplain
-rw-r--r--summary-20141014.tex1660logplain
-rw-r--r--summary-20141021.tex1288logplain
-rw-r--r--summary-20141111.tex2521logplain
-rw-r--r--summary-20141209.tex1235logplain
-rw-r--r--summary-20150113.tex1797logplain
-rw-r--r--summary-20150210.tex1141logplain
-rw-r--r--summary-20150310.tex3068logplain
-rw-r--r--summary-20150414.tex1349logplain
-rw-r--r--summary-20150512.tex225logplain
-rw-r--r--summary-20150609.tex2484logplain
-rw-r--r--summary-20150727.tex1047logplain
-rw-r--r--summary-20151108.tex1518logplain
-rw-r--r--summary-20151213.tex1906logplain
-rw-r--r--summary-20160110.tex2936logplain
-rw-r--r--summary-20160214.tex3798logplain
-rw-r--r--summary-20160313.tex1893logplain
-rw-r--r--summary-20160410.tex1839logplain
-rw-r--r--summary-20160508.tex743logplain
-rw-r--r--summary-20160612.tex2507logplain
-rw-r--r--summary-20160710.tex1099logplain
-rw-r--r--summary-20160814.tex1276logplain
-rw-r--r--summary-20160911.tex1290logplain
-rw-r--r--summary-20161009.tex919logplain
-rw-r--r--summary-20161113.tex2552logplain
-rw-r--r--summary-20161211.tex2741logplain
-rw-r--r--summary-20170109.tex286logplain
-rw-r--r--summary-20170212.tex622logplain