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


_______________________________________________
Magritte, Pier and Related Tools ...
https://www.iam.unibe.ch/mailman/listinfo/smallwiki

[Lukas Renggli]

> How do i get a second pier kernel with the same default style?

PRDistribution new kernel

Lukas

--
Lukas Renggli
http://www.lukas-renggli.ch
_______________________________________________
Magritte, Pier and Related Tools ...
https://www.iam.unibe.ch/mailman/listinfo/smallwiki