Super Mario 64 in Super Mario 3D All-Stars does appear to some reworked textures

While not an absolutely mind-boggling difference, it does appear that the version of Super Mario 64 included in Super Mario 3D All-Stars has had some of its textures touched up.

While you might look at the above comparison images and think that there's nothing more than a bump in resolution going on, a closer look reveals what appears to be cleaned up textures. The dead giveaway is the M on Mario's hat, which is much sharper with pointed peaks as compared to the more rounded M in the original. It'll be interesting to see where else Nintendo saw fit to tweak some textures.