mmontone /dpans2texiTeX80Convert the ANSI Common Lisp draft to Texinfocommon-lisplispdocumentationspecification