Michael Chen Thu, 20 Jul 2006 16:14:57 -0700
how to sort the environments in the upper left corner pull down menu? guess it is more convinent.
Michael