/EnvEditor.sc/1.4/Thu Aug 14 18:07:39 2003//
/EnvEditorGui.sc/1.6/Thu Sep  9 10:07:43 2004//
/NumberEditor.sc/1.22/Sun Dec 12 20:52:19 2004//
/NumberEditorGui.sc/1.18/Thu Aug 26 21:54:20 2004//
D
