matijapretnar/eff — pull request #9 by andrejbauer (2012-08-08 22:55:56+00:00)
Title: Tctx functions now use !global so no need to pass a tctx explicitly (merged version of a previous pull request)

As it turns out, all calls to Tctx.xxxx explicitly passed !Tctx.global, so we might as well use !Tctx.global directly and avoid passing it.