/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 |