taticaPromoteVars.tex 126 Bytes
edit raw blame history

/* Tatica promoteVars */

\tbegin
\ttactic promoteVars()  \def
 \tlaw mainVarState() \talt
 \tlaw mainVarState2()
 \tend