My university had some Windows machines. They were for first years who weren’t doing a CS major. The CS people were all expected to be on *nix machines. Emacs or vi, oh my! Or not using machines at all, because you shouldn’t need a computer for graph theory proofs or database schema design, or programming for that…