Skip to Content.

Sympa Menu

ssreflect - cannot use [Next Obligation of]

Subject: Ssreflect Users Discussion List

List archive

cannot use [Next Obligation of]

From: <>
To:
Subject: cannot use [Next Obligation of]
Date: Fri, 22 Jan 2010 14:26:07 +0100 (CET)

Hello,

It seems that I cannot use the [Next Obligation of] tactic when ssreflect is
imported.
I hit an syntax error.

Best,
Keiko

cannot use [Next Obligation of], keiko, 01/22/2010
- RE: cannot use [Next Obligation of], Georges Gonthier, 01/22/2010

Archive powered by MHonArc 2.6.18.