On Fri, 22 Sep 2017, Allin Cottrell wrote:
That's because we trashed "pi" in favor of
"$pi". SVAR needs updating
(actually now done in git). But maybe we should back off and reinstate the
old alias for now?
If release is not imminemt, I'd say the time is now; let's get rid of the
dollar-less variant.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------