[opentheory-users] order of arguments to eqMp

[Joe Hurd]

Hi Ramana,

Documentation bug - now fixed. Good catch.

Cheers,

Joe

On Sun, Jan 9, 2011 at 1:12 PM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> Is the documentation of the file format here
> http://www.gilith.com/research/opentheory/article.html#eqMpCommand
> correct?
> My reader appears to be saying that the article file corresponding to
> bool-1.0 wants |- phi to be popped before |- phi' = psi
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>