Change the \implies to => which looks somewhat nicer.
Make the report final.
Take all fixmes out, except for the Ispell one.
Get rid of yet another fixme.
Kill yet another fixme.
Cite Landauers original paper.
Enable building of tar archives.
Remove files we are not using anymore.
Add the last fixmes from the read-through
Page 24 done.
Page 23 done.
Page 22 done.
Page 21. And a Fixme needed attention.
Page 20 done. Also minor earlier cleanups.
Page 19 done.
Page 18 done.
Finish going through J0.
Use the correct title.
Add sections to the JANUS formalization
Update the intro. This is a report, not a paper.
First round of corrections done.
Yet another page corrected.
Yet another page done.
Kill yet another page of corrections.
Kill a page of corrections.
Use bibtool for bibliography databases.
Use Bennets paper for reversible TMs.
Minor touchups on the discussion of coq/twelf.
Kill a fixme which has been checked.
Sharpen the conclusion.
Always begin a larger part by stating its goals.
Lay bare the next point of attack.