From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: SPARK POGS: List the rules used by the Simplifier
Date: Fri, 13 Aug 2010 19:52:14 +0200
Date: 2010-08-13T19:52:14+02:00 [thread overview]
Message-ID: <op.vhd09cwcxmjfy8@garhos> (raw)
In-Reply-To: 0885ddcf-4d87-4cb5-a7ff-53d4397e0c8a@j8g2000yqd.googlegroups.com
Le Fri, 13 Aug 2010 19:21:16 +0200, Phil Thornley
<phil.jpthornley@gmail.com> a écrit:
> I have made a modified POGS that lists the rules used by the
> Simplifier as part of the summary output so, instead of just the list
> of rule files, it prints the following:
> [...]
So this report the kind of things which is otherwise split through
multiple *.rls files ?
next prev parent reply other threads:[~2010-08-13 17:52 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-13 17:21 SPARK POGS: List the rules used by the Simplifier Phil Thornley
2010-08-13 17:52 ` Yannick Duchêne (Hibou57) [this message]
2010-08-13 19:04 ` Phil Thornley
2010-08-13 19:41 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox