/lang/maude/patches/

• ../
• patch-ab
• patch-ac
• patch-src_BuiltIn_stringOpSymbol.cc
• patch-src_Mixfix_bottom.yy
• patch-src_Mixfix_commands.yy
• patch-src_Mixfix_interact.cc
• patch-src_Mixfix_lexerAux.cc
• patch-src_Mixfix_lexerAux.hh
• patch-src_Mixfix_modules.yy
• patch-src_Mixfix_token.cc
• patch-src_Mixfix_top.yy
• patch-src_ObjectSystem_configSymbol.hh
• patch-src_ObjectSystem_objectMap.cc
• patch-src_ObjectSystem_objectSystemRewritingContext.hh
• patch-src_Utility_ropeStuff.hh