2 Commits

Author SHA1 Message Date
Vijay Janapa Reddi
785a5267d0 fix: skip table rows in em dash script (prettifier manages spacing)
The pipe table prettifier re-spaces table cells, making em dash
close-up in tables futile. Updated script to skip all table lines
(not just separator lines). This resolves the 19 "remaining" em
dashes that were all inside table cells.
2026-04-05 15:37:26 -04:00
Vijay Janapa Reddi
ffaa7e242f pass 02: close up em dashes across vol1 (213 instances)
Replaces ' — ' (spaced) with '—' (closed) in body prose per MIT Press
house style. Skips code fences, Python cells, YAML frontmatter, and
inline math. Adds fix_emdash.py script for future use.
2026-04-05 15:13:21 -04:00