[ProofPower] PP on windows

Gregg Reynolds dev at arabink.com
Thu Jan 26 12:01:48 EST 2006


Gregg Reynolds wrote:
> 
> For sieve, this means replacing "category" with "grammar", and "filter"
> with "handler".  The sieve file itself is the controller.
> 
I meant to write "The view file itself is the controller".  But it's
probably more accurate to think of the controller as the (generic) sieve
program specialized by the view file.

-g




More information about the Proofpower mailing list