equal
deleted
inserted
replaced
19 ("<smi=" "<smil begin=\"$1\">$0</smil>" "<smil begin=\"…\">" nil nil nil nil "C-+ S" nil) |
19 ("<smi=" "<smil begin=\"$1\">$0</smil>" "<smil begin=\"…\">" nil nil nil nil "C-+ S" nil) |
20 ("<sup=" "<sup>$0</sup>" "<sup>" nil nil nil nil "C-+ s" nil) |
20 ("<sup=" "<sup>$0</sup>" "<sup>" nil nil nil nil "C-+ s" nil) |
21 ("<var=" "<var>$0</var>" "<var>" nil nil nil nil "C-+ v" nil))) |
21 ("<var=" "<var>$0</var>" "<var>" nil nil nil nil "C-+ v" nil))) |
22 |
22 |
23 |
23 |
24 ;;; Do not edit! File generated at Sun Nov 30 18:20:25 2014 |
24 ;;; Do not edit! File generated at Sat Mar 7 09:40:06 2015 |