Index of /preferences

 Name                    Last modified       Size  Description

 Parent Directory        30-Dec-2007 17:01      -  
 directories.html        25-Jan-2002 11:25     4k  
 display.html            25-Jan-2002 11:25     4k  
 environment.html        25-Jan-2002 11:25     6k  
 interface.html          25-Jan-2002 11:25    12k  
 monitor.html            25-Jan-2002 11:25     4k  
 new_file.html           25-Jan-2002 11:25     4k  
 preferences.html        25-Jan-2002 11:25     4k  
 session.html            25-Jan-2002 11:25     4k