[/] [trunk/] [src/] [general.cm] - Diff 9 ⟶ 11

Diff between revs 9 and 11
Rev 9 Rev 11
Line 1... Line 1... 
Group
 
Group
 
    structure Settings
 
    structure Settings
 
    structure SettingsRW
 
    structure SettingsRW
 
    structure Util
 
    structure Util
 
is
 
is
 
    settings-rw.sig
 
    settings_rw.sig
 
    settings-rw.sml
 
    settingsrwfn.sml
 
 
 
#if defined(OPSYS_WIN32)
 
 
 
    win-settingsrw.sml
 
 
 
#else
 
 
 
    posix-settingsrw.sml
 
 
 
#endif
 
    settings.sig
 
    settings.sig
 
    settings.sml
 
    settings.sml
 
 
 
 
 
    util.sml
 
    util.sml
 
    version.sml
 
    version.sml
 
    version.sml
 
    version.sml