coqide 8.13.1-1 File List
Package has 44 files and 14 directories.
- usr/
- usr/bin/
- usr/bin/coqide
- usr/lib/
- usr/lib/coq/
- usr/lib/coq/ide/
- usr/lib/coq/ide/coqide/
- usr/lib/coq/ide/coqide/config_lexer.cmi
- usr/lib/coq/ide/coqide/configwin.cmi
- usr/lib/coq/ide/coqide/configwin_ihm.cmi
- usr/lib/coq/ide/coqide/configwin_messages.cmi
- usr/lib/coq/ide/coqide/coq.cmi
- usr/lib/coq/ide/coqide/coqOps.cmi
- usr/lib/coq/ide/coqide/coq_commands.cmi
- usr/lib/coq/ide/coqide/coq_lex.cmi
- usr/lib/coq/ide/coqide/coqide.cmi
- usr/lib/coq/ide/coqide/coqide_ui.cmi
- usr/lib/coq/ide/coqide/document.cmi
- usr/lib/coq/ide/coqide/fileOps.cmi
- usr/lib/coq/ide/coqide/gtk_parsing.cmi
- usr/lib/coq/ide/coqide/ide.a
- usr/lib/coq/ide/coqide/ide.cmxa
- usr/lib/coq/ide/coqide/ideutils.cmi
- usr/lib/coq/ide/coqide/microPG.cmi
- usr/lib/coq/ide/coqide/minilib.cmi
- usr/lib/coq/ide/coqide/preferences.cmi
- usr/lib/coq/ide/coqide/sentence.cmi
- usr/lib/coq/ide/coqide/session.cmi
- usr/lib/coq/ide/coqide/tags.cmi
- usr/lib/coq/ide/coqide/unicode_bindings.cmi
- usr/lib/coq/ide/coqide/utf8_convert.cmi
- usr/lib/coq/ide/coqide/wg_Command.cmi
- usr/lib/coq/ide/coqide/wg_Completion.cmi
- usr/lib/coq/ide/coqide/wg_Detachable.cmi
- usr/lib/coq/ide/coqide/wg_Find.cmi
- usr/lib/coq/ide/coqide/wg_MessageView.cmi
- usr/lib/coq/ide/coqide/wg_Notebook.cmi
- usr/lib/coq/ide/coqide/wg_ProofView.cmi
- usr/lib/coq/ide/coqide/wg_RoutedMessageViews.cmi
- usr/lib/coq/ide/coqide/wg_ScriptView.cmi
- usr/lib/coq/ide/coqide/wg_Segment.cmi
- usr/share/
- usr/share/applications/
- usr/share/applications/coqide.desktop
- usr/share/coq/
- usr/share/coq/coq-ssreflect.lang
- usr/share/coq/coq.lang
- usr/share/coq/coq.png
- usr/share/coq/coq_style.xml
- usr/share/coq/default.bindings
- usr/share/doc/
- usr/share/doc/coq/
- usr/share/doc/coq/FAQ-CoqIde
- usr/share/man/
- usr/share/man/man1/
- usr/share/man/man1/coqide.1.gz
- usr/share/pixmaps/
- usr/share/pixmaps/coqide.png