search

slatex / sTeX

A semantic Extension of TeX/LaTeX
49 stars 9 forks source link

beamer overlay specifications for \spfstep and friends #381

Open kohlhase opened 1 year ago

kohlhase commented 1 year ago

It would be great if \spfstep and \begin{subproof} would accept beamer overlay specifications, so that I can structure proofs in my lectures better.

Concretely, notesslides.sty should probably patch \spfstep so that \spfstep<2-4> just passes the <2-4> to the inner item.

Alternatively \spfstep<2-4>{foo} could expand to \only<2-4>{\spfstep{foo} I guess.

kohlhase commented 1 year ago

BTW, I could not the \only method to work in my example.

kohlhase commented 1 year ago

Also I remembered that I could maybe just use \pause from beamer, but that also gives me lots of missing item errors.

Jazzpirate commented 1 year ago

yes, both \pause and \only would need to non-trivially escape from the spf-environment. I'm not surprised that causes trouble. The spf-environments should probably also redesigned...