Re: [Core] 1) editorial things in Core and 2) first draft of Eiter-Schindlauer safety.

> p.s.: small "process question" I am not sure whether I should not add=20
> the draft text for strongly safe rulesets at this point, since Core is=20
> frozen or are wiki changes allowed?

We're not "freezing" thing any more, we're just indicating when they are
ready for review.  Changes made after that point should be made with the
understanding some folks will have already printed them out, or
whatever.  (For myself, I'm hopeless lost in all the safeness
definitions we've had.  Maybe we should number them?)

     -- Sandro

Received on Tuesday, 14 April 2009 20:46:31 UTC