On Wed, Sep 27, 2006 at 11:59:32AM -0700, David Brunton wrote:
> A quick scan of S05 reveals definitions for these seven special named 
> assertions:
>   [...]

I don't think that <'...'> or <"..."> are really "named assertions".

I think that <!xyz> (as well as <+xyz> and <-xyz>) are simply special forms
of the named assertion <xyz>.

I should probably compare your list to what PGE has implemented and see if
there are any differences -- will do that later tonight.


Reply via email to