--- a/src/Pure/IsaMakefile Wed Aug 10 19:46:48 2011 +0200 +++ b/src/Pure/IsaMakefile Wed Aug 10 20:12:36 2011 +0200 @@ -210,7 +210,6 @@ Tools/xml_syntax.ML \ assumption.ML \ axclass.ML \ - codegen.ML \ config.ML \ conjunction.ML \ consts.ML \