/usr/ is in matita 0.99.1-3.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/matitac.opt
|
application/x-executable | root:root | 0o755 | 4.1 MB |
/usr/bin/matita.opt
|
application/x-executable | root:root | 0o755 | 6.7 MB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/matita/
|
root:root | 0o755 | ||
/usr/share/doc/matita/copyright
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/doc/matita/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/matitac.1.gz
|
application/gzip | root:root | 0o644 | 747 bytes |
/usr/share/man/man1/matitaclean.1.gz
|
application/gzip | root:root | 0o644 | 754 bytes |
/usr/share/menu/
|
root:root | 0o755 | ||
/usr/share/menu/matita
|
text/plain | root:root | 0o644 | 224 bytes |
/usr/share/applications/
|
root:root | 0o755 | ||
/usr/share/applications/matita.desktop
|
text/plain | root:root | 0o644 | 181 bytes |
/usr/share/matita/
|
root:root | 0o755 | ||
/usr/share/matita/lib/
|
root:root | 0o755 | ||
/usr/share/matita/lib/lambda/
|
root:root | 0o755 | ||
/usr/share/matita/lib/lambda/convertibility.ma
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/matita/lib/lambda/subst.ma
|
text/plain | root:root | 0o644 | 7.3 KB |
/usr/share/matita/lib/lambda/terms.ma
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/matita/lib/lambda/rc_sat.ma
|
text/plain | root:root | 0o644 | 5.7 KB |
/usr/share/matita/lib/lambda/reduction.ma
|
text/plain | root:root | 0o644 | 11.0 KB |
/usr/share/matita/lib/lambda/rc_eval.ma
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/matita/lib/lambda/degree.ma
|
text/plain | root:root | 0o644 | 6.3 KB |
/usr/share/matita/lib/lambda/ext_lambda.ma
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/matita/lib/lambda/rc_hsat.ma
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/matita/lib/lambda/CC2FO_K_cube.ma
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/matita/lib/lambda/CC2FO_K.ma
|
text/plain | root:root | 0o644 | 6.5 KB |
/usr/share/matita/lib/lambda/cube.ma
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/matita/lib/lambda/lambda_notation.ma
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/matita/lib/lambda/ext.ma
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/matita/lib/lambda/arity_eval.ma
|
text/plain | root:root | 0o644 | 10.0 KB |
/usr/share/matita/lib/lambda/inversion.ma
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/matita/lib/lambda/subject.ma
|
text/plain | root:root | 0o644 | 7.8 KB |
/usr/share/matita/icons/meegg.png
|
image/png | root:root | 0o644 | 152.0 KB |
/usr/share/matita/lib/lambda/subterms.ma
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/share/matita/lib/lambda/arity.ma
|
text/plain | root:root | 0o644 | 6.7 KB |
/usr/share/matita/lib/lambda/types.ma
|
text/plain | root:root | 0o644 | 6.2 KB |
/usr/share/matita/lib/lambda/sn.ma
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/matita/lib/lambda/lift.ma
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/matita/lib/lambda/par_reduction.ma
|
text/plain | root:root | 0o644 | 9.6 KB |
/usr/share/matita/lib/lambdaN/
|
root:root | 0o755 | ||
/usr/share/matita/lib/lambdaN/convertibility.ma
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/matita/lib/lambdaN/subst.ma
|
text/plain | root:root | 0o644 | 9.7 KB |
/usr/share/matita/lib/lambdaN/terms.ma
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/matita/lib/lambdaN/rc_sat.ma
|
text/plain | root:root | 0o644 | 5.7 KB |
/usr/share/matita/lib/lambdaN/reduction.ma
|
text/plain | root:root | 0o644 | 11.6 KB |
/usr/share/matita/lib/lambdaN/rc_eval.ma
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/matita/lib/lambdaN/ext_lambda.ma
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/matita/lib/lambdaN/rc_hsat.ma
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/matita/lib/lambdaN/cube.ma
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/matita/lib/lambdaN/lambda_notation.ma
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/matita/lib/lambdaN/ext.ma
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/matita/lib/lambdaN/arity_eval.ma
|
text/plain | root:root | 0o644 | 10.0 KB |
/usr/share/matita/lib/lambdaN/inversion.ma
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/share/matita/lib/lambdaN/thinning.ma
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/matita/lib/lambdaN/subject.ma
|
text/plain | root:root | 0o644 | 8.1 KB |
/usr/share/matita/lib/lambdaN/subterms.ma
|
text/plain | root:root | 0o644 | 4.4 KB |
/usr/share/matita/lib/lambdaN/arity.ma
|
text/plain | root:root | 0o644 | 6.7 KB |
/usr/share/matita/lib/lambdaN/types.ma
|
text/plain | root:root | 0o644 | 6.2 KB |
/usr/share/matita/lib/lambdaN/sn.ma
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/matita/lib/lambdaN/par_reduction.ma
|
text/plain | root:root | 0o644 | 9.3 KB |
/usr/share/matita/lib/arithmetics/
|
root:root | 0o755 | ||
/usr/share/matita/lib/arithmetics/exp.ma
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/matita/lib/arithmetics/binomial.ma
|
text/plain | root:root | 0o644 | 4.4 KB |
/usr/share/matita/lib/arithmetics/primes.ma
|
text/plain | root:root | 0o644 | 14.2 KB |
/usr/share/matita/lib/arithmetics/factorial.ma
|
text/plain | root:root | 0o644 | 5.8 KB |
/usr/share/matita/lib/arithmetics/bigops.ma
|
text/plain | root:root | 0o644 | 31.1 KB |
/usr/share/matita/lib/arithmetics/gcd.ma
|
text/plain | root:root | 0o644 | 13.3 KB |
/usr/share/matita/lib/arithmetics/nat.ma
|
text/plain | root:root | 0o644 | 19.9 KB |
/usr/share/matita/icons/matita_medium.png
|
image/png | root:root | 0o644 | 9.4 KB |
/usr/share/matita/lib/arithmetics/chinese_reminder.ma
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/matita/lib/arithmetics/minimization.ma
|
text/plain | root:root | 0o644 | 8.7 KB |
/usr/share/matita/lib/arithmetics/sigma_pi.ma
|
text/plain | root:root | 0o644 | 21.2 KB |
/usr/share/matita/lib/arithmetics/nth_prime.ma
|
text/plain | root:root | 0o644 | 6.1 KB |
/usr/share/matita/lib/arithmetics/congruence.ma
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/matita/lib/arithmetics/log.ma
|
text/plain | root:root | 0o644 | 11.2 KB |
/usr/share/matita/lib/arithmetics/nat_commented.ma
|
text/plain | root:root | 0o644 | 9.6 KB |
/usr/share/matita/lib/arithmetics/div_and_mod.ma
|
text/plain | root:root | 0o644 | 12.0 KB |
/usr/share/matita/lib/hints_declaration.ma
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/matita/lib/formal_topology/
|
root:root | 0o755 | ||
/usr/share/matita/lib/formal_topology/formal_topologies.ma
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/matita/lib/formal_topology/relations.ma
|
text/plain | root:root | 0o644 | 13.6 KB |
/usr/share/matita/lib/formal_topology/cprop_connectives.ma
|
text/plain | root:root | 0o644 | 7.3 KB |
/usr/share/matita/lib/formal_topology/concrete_spaces.ma
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/share/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/matita/lib/formal_topology/o-concrete_spaces.ma
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/matita/lib/formal_topology/replace.sh
|
text/x-shellscript | root:root | 0o644 | 241 bytes |
/usr/share/matita/lib/formal_topology/subsets.ma
|
text/plain | root:root | 0o644 | 7.2 KB |
/usr/share/matita/lib/formal_topology/apply_functor.ma
|
text/plain | root:root | 0o644 | 4.8 KB |
/usr/share/matita/lib/formal_topology/categories.ma
|
text/plain | root:root | 0o644 | 19.8 KB |
/usr/share/matita/lib/formal_topology/o-basic_topologies.ma
|
text/plain | root:root | 0o644 | 8.8 KB |
/usr/share/matita/lib/formal_topology/relations_to_o-algebra.ma
|
text/plain | root:root | 0o644 | 12.0 KB |
/usr/share/matita/lib/formal_topology/o-saturations.ma
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/matita/lib/formal_topology/basic_pairs.ma
|
text/plain | root:root | 0o644 | 8.2 KB |
/usr/share/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/matita/lib/formal_topology/saturations_to_o-saturations.ma
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/matita/lib/formal_topology/notation.ma
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/matita/lib/formal_topology/saturations.ma
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/matita/lib/formal_topology/o-formal_topologies.ma
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/matita/lib/formal_topology/o-algebra.ma
|
text/plain | root:root | 0o644 | 17.2 KB |
/usr/share/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma
|
text/plain | root:root | 0o644 | 5.5 KB |
/usr/share/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma
|
text/plain | root:root | 0o644 | 6.7 KB |
/usr/share/matita/lib/formal_topology/basic_topologies.ma
|
text/plain | root:root | 0o644 | 9.4 KB |
/usr/share/matita/lib/formal_topology/r-o-basic_pairs.ma
|
text/plain | root:root | 0o644 | 9.8 KB |
/usr/share/matita/lib/formal_topology/o-basic_pairs.ma
|
text/plain | root:root | 0o644 | 9.3 KB |
/usr/share/matita/lib/re/
|
root:root | 0o755 | ||
/usr/share/matita/lib/re/lang.ma
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/matita/lib/re/reb.ma
|
text/plain | root:root | 0o644 | 31.2 KB |
/usr/share/matita/lib/re/moves.ma
|
text/plain | root:root | 0o644 | 17.9 KB |
/usr/share/matita/lib/re/re.ma
|
text/plain | root:root | 0o644 | 17.2 KB |
/usr/share/matita/lib/root
|
text/plain | root:root | 0o644 | 21 bytes |
/usr/share/matita/lib/basics/
|
root:root | 0o755 | ||
/usr/share/matita/lib/basics/star.ma
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/matita/lib/basics/relations.ma
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/matita/lib/basics/logic.ma
|
text/plain | root:root | 0o644 | 8.4 KB |
/usr/share/matita/lib/basics/core_notation.ma
|
text/plain | root:root | 0o644 | 9.8 KB |
/usr/share/matita/lib/basics/deqsets.ma
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/matita/lib/basics/sets.ma
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/matita/lib/basics/bool.ma
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/matita/lib/basics/russell.ma
|
text/plain | root:root | 0o644 | 770 bytes |
/usr/share/matita/lib/basics/pts.ma
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/matita/lib/basics/types.ma
|
text/plain | root:root | 0o644 | 7.9 KB |
/usr/share/matita/lib/basics/jmeq.ma
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/matita/lib/basics/lists/
|
root:root | 0o755 | ||
/usr/share/matita/lib/basics/lists/list.ma
|
text/plain | root:root | 0o644 | 11.1 KB |
/usr/share/matita/lib/basics/lists/listb.ma
|
text/plain | root:root | 0o644 | 7.6 KB |
/usr/share/matita/LICENSE
|
text/plain | root:root | 0o644 | 916 bytes |
/usr/share/matita/matita.ma.templ
|
text/plain | root:root | 0o644 | 1002 bytes |
/usr/share/matita/closed.xml
|
text/xml | root:root | 0o644 | 467 bytes |
/usr/share/matita/matita.gtkrc
|
text/x-c++ | root:root | 0o644 | 2.5 KB |
/usr/share/matita/matita.conf.xml
|
text/xml | root:root | 0o644 | 4.6 KB |
/usr/share/matita/matita.lang
|
text/xml | root:root | 0o644 | 6.2 KB |
/usr/share/matita/icons/
|
root:root | 0o755 | ||
/usr/share/matita/icons/matita-bulb-high.png
|
image/png | root:root | 0o644 | 1.1 KB |
/usr/share/matita/icons/matita-theory.png
|
image/png | root:root | 0o644 | 1.3 KB |
/usr/share/matita/icons/whelp.png
|
image/png | root:root | 0o644 | 970 bytes |
/usr/share/matita/icons/matita-bulb-low.png
|
image/png | root:root | 0o644 | 1.0 KB |
/usr/share/matita/icons/matita-32.xpm
|
image/x-xpmi | root:root | 0o644 | 1.7 KB |
/usr/share/matita/icons/matita-object.png
|
image/png | root:root | 0o644 | 877 bytes |
/usr/share/matita/icons/whelp.svg
|
image/svg+xml | root:root | 0o644 | 10.8 KB |
/usr/share/matita/icons/matita_very_small.png
|
image/png | root:root | 0o644 | 2.9 KB |
/usr/share/matita/icons/matita_small.png
|
image/png | root:root | 0o644 | 3.8 KB |
/usr/share/matita/icons/matita-bulb-medium.png
|
image/png | root:root | 0o644 | 1.2 KB |
/usr/share/matita/icons/matita.png
|
image/png | root:root | 0o644 | 13.9 KB |
/usr/share/matita/icons/matita-folder.png
|
image/png | root:root | 0o644 | 706 bytes |
/usr/share/matita/help/
|
root:root | 0o755 | ||
/usr/share/matita/help/C/
|
root:root | 0o755 | ||
/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/tactic_quickref.xml
|
text/html | root:root | 0o644 | 151 bytes |
/usr/share/matita/help/C/sec_license.xml
|
text/html | root:root | 0o644 | 149 bytes |
/usr/share/matita/help/C/sec_gettingstarted.xml
|
text/html | root:root | 0o644 | 7.0 KB |
/usr/share/matita/help/C/version.txt
|
text/plain | root:root | 0o644 | 7 bytes |
/usr/share/matita/help/C/docbook.css
|
text/plain | root:root | 0o644 | 646 bytes |
/usr/share/matita/help/C/sec_tacticals.xml
|
text/html | root:root | 0o644 | 11.7 KB |
/usr/share/matita/help/C/declarative_tactics_quickref.xml
|
text/html | root:root | 0o644 | 139 bytes |
/usr/share/matita/help/C/sec_intro.xml
|
text/html | root:root | 0o644 | 4.1 KB |
/usr/share/matita/help/C/xsl/
|
root:root | 0o755 | ||
/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 |
/usr/share/matita/help/C/xsl/matita-fo.xsl
|
text/xml | root:root | 0o644 | 285 bytes |
/usr/share/matita/help/C/sec_commands.xml
|
text/html | root:root | 0o644 | 29.4 KB |
/usr/share/matita/help/C/Makefile
|
text/x-makefile | root:root | 0o644 | 1.3 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/sec_terms.xml
|
text/html | root:root | 0o644 | 35.7 KB |
/usr/share/matita/help/C/TODO
|
text/plain | root:root | 0o644 | 373 bytes |
/usr/share/matita/help/C/sec_usernotation.xml
|
text/html | root:root | 0o644 | 20.1 KB |
/usr/bin/matitac
|
root:root | 0o777 | ||
/usr/share/matita/help/C/sec_declarative_tactics.xml
|
text/html | root:root | 0o644 | 16.1 KB |
/usr/share/matita/help/C/tactics_quickref.xml
|
text/html | root:root | 0o644 | 6.1 KB |
/usr/share/matita/help/C/sec_install.xml
|
text/html | root:root | 0o644 | 23.5 KB |
/usr/share/matita/help/C/sec_tactics.xml
|
text/html | root:root | 0o644 | 37.4 KB |
/usr/share/matita/help/C/figures/
|
root:root | 0o755 | ||
/usr/share/matita/help/C/figures/vbox1.png
|
image/png | root:root | 0o644 | 53.7 KB |
/usr/share/matita/help/C/figures/vbox7.png
|
image/png | root:root | 0o644 | 163.6 KB |
/usr/share/matita/help/C/figures/vbox5.png
|
image/png | root:root | 0o644 | 29.6 KB |
/usr/share/matita/help/C/figures/vbox3.png
|
image/png | root:root | 0o644 | 17.2 KB |
/usr/share/matita/help/C/figures/database.dia
|
application/gzip | root:root | 0o644 | 5.4 KB |
/usr/share/matita/help/C/figures/vbox2.png
|
image/png | root:root | 0o644 | 29.6 KB |
/usr/share/matita/help/C/figures/database.png
|
image/png | root:root | 0o644 | 6.6 KB |
/usr/share/matita/help/C/figures/vbox4.png
|
image/png | root:root | 0o644 | 31.6 KB |
/usr/share/matita/help/C/figures/vbox35.png
|
image/png | root:root | 0o644 | 21.3 KB |
/usr/share/matita/help/C/figures/matita.png
|
image/png | root:root | 0o644 | 2.9 KB |
/usr/share/matita/help/C/figures/vbox6.png
|
image/png | root:root | 0o644 | 4.7 KB |
/usr/share/matita/help/C/xhtml1-transitional.dtd
|
text/plain | root:root | 0o644 | 60.4 KB |
/usr/share/matita/help/C/version.txt.in
|
text/plain | root:root | 0o644 | 17 bytes |
/usr/share/matita/AUTHORS
|
text/plain | root:root | 0o644 | 232 bytes |
/usr/bin/matitaclean
|
root:root | 0o777 | ||
/usr/bin/matita
|
root:root | 0o777 | ||
/usr/share/man/man1/matitac.opt.1.gz
|
root:root | 0o777 |