coqide 8.8.0-2 File List

Package has 48 files and 14 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/coqide
  • usr/lib/
  • usr/lib/coq/
  • usr/lib/coq/ide/
  • usr/lib/coq/ide/config_lexer.cmi
  • usr/lib/coq/ide/coq.cmi
  • usr/lib/coq/ide/coqOps.cmi
  • usr/lib/coq/ide/coq_commands.cmi
  • usr/lib/coq/ide/coq_lex.cmi
  • usr/lib/coq/ide/coqide.cmi
  • usr/lib/coq/ide/coqide_ui.cmi
  • usr/lib/coq/ide/document.cmi
  • usr/lib/coq/ide/fileOps.cmi
  • usr/lib/coq/ide/gtk_parsing.cmi
  • usr/lib/coq/ide/ide.a
  • usr/lib/coq/ide/ide.cmxa
  • usr/lib/coq/ide/ideutils.cmi
  • usr/lib/coq/ide/minilib.cmi
  • usr/lib/coq/ide/nanoPG.cmi
  • usr/lib/coq/ide/preferences.cmi
  • usr/lib/coq/ide/richpp.cmi
  • usr/lib/coq/ide/sentence.cmi
  • usr/lib/coq/ide/serialize.cmi
  • usr/lib/coq/ide/session.cmi
  • usr/lib/coq/ide/tags.cmi
  • usr/lib/coq/ide/utf8_convert.cmi
  • usr/lib/coq/ide/utils/
  • usr/lib/coq/ide/utils/configwin.cmi
  • usr/lib/coq/ide/utils/configwin_ihm.cmi
  • usr/lib/coq/ide/utils/configwin_messages.cmi
  • usr/lib/coq/ide/wg_Command.cmi
  • usr/lib/coq/ide/wg_Completion.cmi
  • usr/lib/coq/ide/wg_Detachable.cmi
  • usr/lib/coq/ide/wg_Find.cmi
  • usr/lib/coq/ide/wg_MessageView.cmi
  • usr/lib/coq/ide/wg_Notebook.cmi
  • usr/lib/coq/ide/wg_ProofView.cmi
  • usr/lib/coq/ide/wg_RoutedMessageViews.cmi
  • usr/lib/coq/ide/wg_ScriptView.cmi
  • usr/lib/coq/ide/wg_Segment.cmi
  • usr/lib/coq/ide/xml_lexer.cmi
  • usr/lib/coq/ide/xml_parser.cmi
  • usr/lib/coq/ide/xml_printer.cmi
  • usr/lib/coq/ide/xmlprotocol.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/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