Am 17.01.2011 um 17:00 schrieb Hans Hagen: > much of this goes back a long time .. we used to have only m-* and styles > were normally environments; and when defining interface independent > environments unprotect makes sense ... we can consider removing that (but > then need to check for environments on our machines that use ! etc)
Remove prtcatcodes from modules and environments or only environments? If such a change happens we can do this for mkiv only because mkii hasn’t a problem with _ Wolfgang _______________________________________________ dev-context mailing list dev-context@ntg.nl http://www.ntg.nl/mailman/listinfo/dev-context