Second pier kernel

[Gerhard Obermann]

Hi!

How do i get a second pier kernel with the same default style?
I mean the style with the black menu at the top.

If I execute PRKernel named: 'xyz' i get only Pier with the old styles.


Gerhard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.iam.unibe.ch/pipermail/smallwiki/attachments/20090615/828784d7/attachment.html>