HomeIsabelle/Phabricator

Split the Windows and Unix versions of the allocators.