26 Feb
2010
26 Feb
'10
1:23 p.m.
2) my second attempt modified the nearest ancestor
with a local environment
to a more suitable "plain" environment.
What about having two environments, one for editing (that would
default to the default one) and one for viewing? Or is this what you
describe above?
Lukas
--
Lukas Renggli
http://www.lukas-renggli.ch