| -rw-r--r-- | 903 | root |
root |
/etc/xdg/coq/coqide-gtk2rc
|
| lrwxrwxrwx | 10 | root |
root |
/usr/bin/coqide
|
| -rwxr-xr-x | 3622192 | root |
root |
/usr/bin/coqide.opt
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/coq/ide
|
| -rw-r--r-- | 2409 | root |
root |
/usr/lib64/coq/ide/command_windows.cmi
|
| -rw-r--r-- | 1490 | root |
root |
/usr/lib64/coq/ide/config_lexer.cmi
|
| -rw-r--r-- | 2767 | root |
root |
/usr/lib64/coq/ide/coq.cmi
|
| -rw-r--r-- | 367 | root |
root |
/usr/lib64/coq/ide/coq_commands.cmi
|
| -rw-r--r-- | 1761 | root |
root |
/usr/lib64/coq/ide/coq_lex.cmi
|
| -rw-r--r-- | 852 | root |
root |
/usr/lib64/coq/ide/coqide.cmi
|
| -rw-r--r-- | 1302 | root |
root |
/usr/lib64/coq/ide/coqide_ui.cmi
|
| -rw-r--r-- | 2947 | root |
root |
/usr/lib64/coq/ide/gtk_parsing.cmi
|
| -rw-r--r-- | 2296928 | root |
root |
/usr/lib64/coq/ide/ide.a
|
| -rw-r--r-- | 594379 | root |
root |
/usr/lib64/coq/ide/ide.cma
|
| -rw-r--r-- | 31315 | root |
root |
/usr/lib64/coq/ide/ide.cmxa
|
| -rw-r--r-- | 2340 | root |
root |
/usr/lib64/coq/ide/ideproof.cmi
|
| -rw-r--r-- | 5403 | root |
root |
/usr/lib64/coq/ide/ideutils.cmi
|
| -rw-r--r-- | 5165 | root |
root |
/usr/lib64/coq/ide/minilib.cmi
|
| -rw-r--r-- | 3034 | root |
root |
/usr/lib64/coq/ide/preferences.cmi
|
| -rw-r--r-- | 3462 | root |
root |
/usr/lib64/coq/ide/project_file.cmi
|
| -rw-r--r-- | 2467 | root |
root |
/usr/lib64/coq/ide/tags.cmi
|
| -rw-r--r-- | 15359 | root |
root |
/usr/lib64/coq/ide/typed_notebook.cmi
|
| -rw-r--r-- | 18201 | root |
root |
/usr/lib64/coq/ide/undo.cmi
|
| -rw-r--r-- | 648 | root |
root |
/usr/lib64/coq/ide/utf8_convert.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/coq/ide/utils
|
| -rw-r--r-- | 56656 | root |
root |
/usr/lib64/coq/ide/utils/config_file.cmi
|
| -rw-r--r-- | 13098 | root |
root |
/usr/lib64/coq/ide/utils/configwin.cmi
|
| -rw-r--r-- | 77930 | root |
root |
/usr/lib64/coq/ide/utils/configwin_ihm.cmi
|
| -rw-r--r-- | 55289 | root |
root |
/usr/lib64/coq/ide/utils/configwin_keys.cmi
|
| -rw-r--r-- | 834 | root |
root |
/usr/lib64/coq/ide/utils/configwin_messages.cmi
|
| -rw-r--r-- | 14476 | root |
root |
/usr/lib64/coq/ide/utils/configwin_types.cmi
|
| -rw-r--r-- | 1415 | root |
root |
/usr/lib64/coq/ide/utils/editable_cells.cmi
|
| -rw-r--r-- | 4004 | root |
root |
/usr/lib64/coq/ide/utils/okey.cmi
|
| -rw-r--r-- | 158 | root |
root |
/usr/share/applications/coq.desktop
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/coq-ide
|
| -rw-r--r-- | 4458 | root |
root |
/usr/share/doc/coq-ide/INSTALL.ide
|
