modified:   matcher.py - new code now follows recent changes in static
modified:   matcher.py
- new code now follows recent changes in static

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