| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | batch.pdf | 8538 | logplain |
| -rw-r--r-- | ct.png | 25685 | logplain |
| -rw-r--r-- | frequency.pdf | 9500 | logplain |
| -rwxr-xr-x | logo.png | 66309 | logplain |
| -rw-r--r-- | mt.tex | 517 | logplain |
| -rw-r--r-- | mtp.tex | 542 | logplain |
| -rw-r--r-- | overview.tex | 1744 | logplain |
| -rw-r--r-- | perf.jpg | 152607 | logplain |
| -rw-r--r-- | proofcom.pdf | 12595 | logplain |
| -rw-r--r-- | proofgen.pdf | 14456 | logplain |
| -rw-r--r-- | proofvf.pdf | 14022 | logplain |
| -rw-r--r-- | qleft.pdf | 11388 | logplain |
| -rw-r--r-- | qright.pdf | 12895 | logplain |
| -rw-r--r-- | self-monitor.tex | 846 | logplain |
| -rw-r--r-- | snapshot.pdf | 11767 | logplain |
| -rw-r--r-- | takeaway.pdf | 1005 | logplain |
| -rw-r--r-- | tp-monitor.tex | 1065 | logplain |
| -rw-r--r-- | ty.pdf | 12497 | logplain |
| -rw-r--r-- | wildcard.tex | 502 | logplain |
| -rw-r--r-- | wish.pdf | 126291 | logplain |
 |
index : archive | |
| Various notes, slides, figures, etc. | rgdd |
| aboutsummaryrefslogtreecommitdiff |
