| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 11 | logplain |
| -rw-r--r-- | configwin.ml | 2220 | logplain |
| -rw-r--r-- | configwin.mli | 12791 | logplain |
| -rw-r--r-- | configwin_html_config.ml | 2294 | logplain |
| -rw-r--r-- | configwin_ihm.ml | 41918 | logplain |
| -rw-r--r-- | configwin_keys.ml | 114688 | logplain |
| -rw-r--r-- | configwin_messages.ml | 1305 | logplain |
| -rw-r--r-- | configwin_types.ml | 10719 | logplain |
| -rw-r--r-- | editable_cells.ml | 3557 | 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 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |