Theano/Theano — pull request #971 by lamblin (2012-09-28 21:02:12+00:00)
Title: Correctly keep track of used tmp files

Windows cannot delete files that are still open.