modified:   pymachine/src/definition_parser.py self.id not changed anymore -f option added to parse a whole file -other small changes
modified:   pymachine/src/definition_parser.py
self.id not changed anymore
-f option added to parse a whole file
-other small changes

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