Today I found out the function of overlay, which can used on beamer. However, I cannot understand what the manual is talking about. Could anyone explain how to use overlay in texmacs?
Thank you!
Sincerely,
Shelby Chen
[TeXmacs] About overlay, Shelby Hui-Jun Chen, 01/11/2018