tidy the isolate code up a bit
authorminima <minima>
Sun, 19 Aug 2001 14:53:00 +0000 (14:53 +0000)
committerminima <minima>
Sun, 19 Aug 2001 14:53:00 +0000 (14:53 +0000)

No differences found