[cvs-nhc98] patch applied (hat): Remove some more obsolete ' trusting' code.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:08:28 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): More fixes to hat tools to recognise top-level identifiers.
Next message: [cvs-nhc98] patch applied (hat): Some more places where top-level identifiers are relevant to the hat tools.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu Oct 11 08:42:28 PDT 2001  malcolm
  * Remove some more obsolete 'trusting' code.

    M ./src/old/runtime/getconstr.c -1 +1
    M ./src/old/runtime/trust.c -1 +4

Previous message: [cvs-nhc98] patch applied (hat): More fixes to hat tools to recognise top-level identifiers.
Next message: [cvs-nhc98] patch applied (hat): Some more places where top-level identifiers are relevant to the hat tools.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list