modified:   pymachine/src/definition_parser.py DefinitionParser.id_sep added
modified:   pymachine/src/definition_parser.py
DefinitionParser.id_sep added

Eszti/pymachine,kornai/pymachine,kornai/pymachine,Eszti/pymachine,recski/pymachine,recski/pymachine