| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | config_file.ml | 29061 | logplain |
| -rw-r--r-- | config_file.mli | 15223 | logplain |
| -rw-r--r-- | configwin.ml | 3728 | logplain |
| -rw-r--r-- | configwin.mli | 14666 | logplain |
| -rw-r--r-- | configwin_html_config.ml | 3597 | logplain |
| -rw-r--r-- | configwin_ihm.ml | 43531 | logplain |
| -rw-r--r-- | configwin_keys.ml | 115964 | logplain |
| -rw-r--r-- | configwin_messages.ml | 2581 | logplain |
| -rw-r--r-- | configwin_types.ml | 11948 | logplain |
| -rw-r--r-- | editable_cells.ml | 3566 | logplain |
| -rw-r--r-- | okey.ml | 5785 | logplain |
| -rw-r--r-- | okey.mli | 5174 | logplain |
| -rw-r--r-- | uoptions.ml | 22214 | logplain |
| -rw-r--r-- | uoptions.mli | 6206 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |