--- parser3/operators.txt 2003/12/10 14:17:43 1.146 +++ parser3/operators.txt 2003/12/10 14:28:46 1.147 @@ -922,16 +922,11 @@ xdoc(xnode) url time url time url time - $status:stylesheet + !$status:stylesheet !cache table file time file time file time - $status:charset hash - !cache table - file - file - file !$status:rusage hash !utime user time used