Version: 4.1.3.3

5 Acknowledgements

Mirrors makes heavy use of Javascript.plt and PPrint.plt by Dave Herman. Many thanks to Dave for all of his hard work.

Thanks also to David Brooks, Matt Jadud, Fausto LS, Jay McCarthy, Noel Welsh, and for their contributions, feedback, suggestions and bug fixes.