The best description of how the changes are being implemented is:
b. The new version is kept in a special virtual space; the file is only changed when he clicks “save.”
This explains that while Jacob is typing, the changes are held in memory (often referred to as a "buffer") and are not written to the actual file until he selects to save the document.