Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .cvsignore | 11 | logplain |
-rw-r--r-- | configwin.ml | 2180 | logplain |
-rw-r--r-- | configwin.mli | 12586 | logplain |
-rw-r--r-- | configwin_html_config.ml | 2294 | logplain |
-rw-r--r-- | configwin_ihm.ml | 39613 | logplain |
-rw-r--r-- | configwin_keys.ml | 114688 | logplain |
-rw-r--r-- | configwin_messages.ml | 1305 | logplain |
-rw-r--r-- | configwin_types.ml | 9704 | logplain |
-rw-r--r-- | okey.ml | 4480 | logplain |
-rw-r--r-- | okey.mli | 3898 | logplain |
-rw-r--r-- | uoptions.ml | 20461 | logplain |
-rw-r--r-- | uoptions.mli | 4420 | logplain |