[/] [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