This file is indexed.

/usr/share/matita/help/C/ is in matita 0.5.8-3build1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/matita/help/C/Makefile text/x-makefile root:root 0o644 1.3 KB
/usr/share/matita/help/C/TODO text/plain root:root 0o644 373 bytes
/usr/share/matita/help/C/declarative_tactics_quickref.xml text/html root:root 0o644 5.4 KB
/usr/share/matita/help/C/docbook.css text/plain root:root 0o644 646 bytes
/usr/share/matita/help/C/figures/ root:root 0o755
/usr/share/matita/help/C/figures/database.dia application/gzip root:root 0o644 5.4 KB
/usr/share/matita/help/C/figures/database.png image/png root:root 0o644 6.6 KB
/usr/share/matita/help/C/figures/matita.png image/png root:root 0o644 3.0 KB
/usr/share/matita/help/C/figures/vbox1.png image/png root:root 0o644 56.1 KB
/usr/share/matita/help/C/figures/vbox2.png image/png root:root 0o644 30.8 KB
/usr/share/matita/help/C/figures/vbox3.png image/png root:root 0o644 17.6 KB
/usr/share/matita/help/C/figures/vbox35.png image/png root:root 0o644 21.7 KB
/usr/share/matita/help/C/figures/vbox4.png image/png root:root 0o644 33.0 KB
/usr/share/matita/help/C/figures/vbox5.png image/png root:root 0o644 30.6 KB
/usr/share/matita/help/C/figures/vbox6.png image/png root:root 0o644 4.9 KB
/usr/share/matita/help/C/figures/vbox7.png image/png root:root 0o644 163.6 KB
/usr/share/matita/help/C/legal.xml text/plain root:root 0o644 1.0 KB
/usr/share/matita/help/C/matita.xml text/xml root:root 0o644 8.1 KB
/usr/share/matita/help/C/scripts/ root:root 0o755
/usr/share/matita/help/C/scripts/fix-symbols.sh text/x-shellscript root:root 0o755 123 bytes
/usr/share/matita/help/C/sec_commands.xml text/html root:root 0o644 22.8 KB
/usr/share/matita/help/C/sec_declarative_tactics.xml text/html root:root 0o644 16.1 KB
/usr/share/matita/help/C/sec_gettingstarted.xml text/html root:root 0o644 7.0 KB
/usr/share/matita/help/C/sec_install.xml text/html root:root 0o644 23.3 KB
/usr/share/matita/help/C/sec_intro.xml text/html root:root 0o644 4.0 KB
/usr/share/matita/help/C/sec_license.xml text/html root:root 0o644 149 bytes
/usr/share/matita/help/C/sec_tacticals.xml text/html root:root 0o644 11.7 KB
/usr/share/matita/help/C/sec_tactics.xml text/html root:root 0o644 61.7 KB
/usr/share/matita/help/C/sec_terms.xml text/html root:root 0o644 32.8 KB
/usr/share/matita/help/C/sec_usernotation.xml text/html root:root 0o644 20.1 KB
/usr/share/matita/help/C/tactic_quickref.xml text/html root:root 0o644 151 bytes
/usr/share/matita/help/C/tactics_quickref.xml text/html root:root 0o644 12.7 KB
/usr/share/matita/help/C/version.txt text/plain root:root 0o644 6 bytes
/usr/share/matita/help/C/version.txt.in text/plain root:root 0o644 17 bytes
/usr/share/matita/help/C/xhtml1-transitional.dtd text/plain root:root 0o644 60.4 KB
/usr/share/matita/help/C/xsl/ root:root 0o755
/usr/share/matita/help/C/xsl/matita-fo.xsl text/xml root:root 0o644 285 bytes
/usr/share/matita/help/C/xsl/matita-xhtml.xsl text/xml root:root 0o644 2.2 KB
/usr/share/matita/help/C/xsl/tactic_quickref.xsl text/html root:root 0o644 1.8 KB