Clone
Gustaf Neumann <neumann@wu-wien.ac.at>
committed
on 09 Aug 09
- simplified callingNameSpace() significantly (works with and without TCL85STACK the same way) - simplified GuardCall (removed argument push… Show more
- simplified callingNameSpace() significantly (works with and without TCL85STACK the same way) - simplified GuardCall (removed argument push) - removed unneeded functions, reduced tracing

Show less