קיצור בעל הטורים על שמות טז:כג

שבתון שבת קודש הקדים שבתון לשבת ואח"כ קודש ובפרשת ויקהל הקדים קודש לשבת והיה לכם קודש שבת שבתון לה' לומר שמוסיפין מחול על הקודש בכניסתו וביציאתו שצריך שביתה קודם שבא עיקר הקדושה ולאחר שיצאה הקדושה וכן במקום אחד נאמר את שבתותי תשמרו הקדים שבת לשמירה ובמקום אחר הקדים שמירה לשבת כההיא דתנן לא יצא החייט במחטו סמוך לחשיכה ושמירה אחריו שאסור ליהנות ממעשה שבת כגון לרחוץ במרחץ שנתחמם לצורך ישראל: