~james/split

ref: 36fd34c5221ae47ee29e89ecfbab8662ab4fd6f5 split/Snapshot.thy -rw-r--r-- 2.9 KiB 
feat(snapshot): preserve source frames across valid edit traces