simon/yakindu @ 1a65dfeef5f577099a34a45b3879314ffc3744b6

markus.muehlbrandt@gmail.com 3e59d1f0be Fixed errors in name wrangling mechanism.		пре 11 година
..
HistoryWithExitPoint.cc	3e59d1f0be Fixed errors in name wrangling mechanism.	пре 11 година
HistoryWithExitPoint.sgen	c04f3c167c Fixed bug of disfunctional histories when regions are exited using pseudo states. ( YAKHMI-1028 )	пре 11 година