| micron.info.gz | Info document compressed (22K characters gzipped tar file) |
| micron.txt | ASCII text (67K characters) |
| micron.txt.gz | ASCII text, compressed (20K characters) |
| micron.dvi.gz | TeX dvi file (37K characters gzipped) |
| micron.pdf | PDF file (230K characters gzipped) |
| micron.tar.gz | Texinfo source (21K characters gzipped tar file) |