On Wed, Aug 18, 2004 at 01:50:29PM -0700, Kris Kennaway wrote: > > Did you read the big note at the head of UPDATING? > Did you read my mail? :)) Of course, as I said in my mail, I removed INVARIANTS, WITNESS etc. Marc
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:38:07 UTC