New conversion tools for HTML->info from Michael Ernst
<mernst@cs.washington.edu>.

Thanks!
2 files changed