scala/scala — pull request #3033 by paulp (2013-10-12 17:23:15+00:00)
Title: Traverser and Pickler improvements.

This is an improvement on #3019 which implements pickling and unpickling of Trees with Traversers rather than only describing the possibility.