| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .coqide-gtk2rc | 1127 | logplain |
| -rw-r--r-- | FAQ | 3157 | logplain |
| -rw-r--r-- | blaster_window.ml | 5833 | logplain |
| -rw-r--r-- | command_windows.ml | 4756 | logplain |
| -rw-r--r-- | command_windows.mli | 831 | logplain |
| -rw-r--r-- | config_lexer.mll | 2006 | logplain |
| -rw-r--r-- | config_parser.mly | 1028 | logplain |
| -rw-r--r-- | coq.ml | 13889 | logplain |
| -rw-r--r-- | coq.mli | 2092 | logplain |
| -rw-r--r-- | coq.png | 9103 | logplain |
| -rw-r--r-- | coq_commands.ml | 7323 | logplain |
| -rw-r--r-- | coq_tactics.ml | 2522 | logplain |
| -rw-r--r-- | coq_tactics.mli | 626 | logplain |
| -rw-r--r-- | coqide.ml | 103222 | logplain |
| -rw-r--r-- | coqide.mli | 907 | logplain |
| -rw-r--r-- | extract_index.mll | 1139 | logplain |
| -rw-r--r-- | find_phrase.mll | 1998 | logplain |
| -rw-r--r-- | highlight.mll | 3570 | logplain |
| -rw-r--r-- | ideutils.ml | 8934 | logplain |
| -rw-r--r-- | ideutils.mli | 2664 | logplain |
| -rw-r--r-- | index_urls.txt | 21782 | logplain |
| -rw-r--r-- | preferences.ml | 16876 | logplain |
| -rw-r--r-- | preferences.mli | 2230 | logplain |
| -rw-r--r-- | undo.ml | 5488 | logplain |
| -rw-r--r-- | undo.mli | 1100 | logplain |
| -rw-r--r-- | utf8.v | 2445 | logplain |
| -rw-r--r-- | utf8_convert.mll | 1385 | logplain |
| d--------- | utils | 512 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |
