log tests/saveEnv.ur

age author description
2012-04-21 Adam Chlipala Saving proper environments, to use in displaying nested error messages