]> matita.cs.unibo.it Git - helm.git/commit
mod change (-x)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 4 Feb 2023 13:38:50 +0000 (14:38 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 4 Feb 2023 13:50:44 +0000 (14:50 +0100)
commit67a53232e25cdfe8301abd26a425f215085ea580
treefb3715594ecfa446a25b6a7ae9910c86f3a67f47
parent6d488646716724d292e0a82e560a59691c829d1e
mod change (-x)
747 files changed:
helm/EXPORT/cshrc [changed mode: 0755->0644]
helm/EXPORT/export_Bordeaux_EXCEPTIONS/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/export_Marseille_CCS/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/export_Nijmegen_Rem/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/export_Paris_ZF/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/export_Rocq_CHECKER/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/export_Rocq_HIGMAN/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/export_Rocq_SHUFFLE/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/export_Utrecht_Ramsey/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/exportcoq/export_contrib_theory.sh [changed mode: 0755->0644]
helm/EXPORT/exportcoq/export_theory_theory.sh [changed mode: 0755->0644]
helm/EXPORT/exportcoq/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/exportcsczfc/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/exportprove/exporttheories.sh [changed mode: 0755->0644]
helm/EXPORT/mktheory.pl [changed mode: 0755->0644]
helm/software/DEVEL/gdome_xslt/debian/rules [changed mode: 0755->0644]
helm/software/DEVEL/lablgtkmathview/debian/rules [changed mode: 0755->0644]
helm/software/DEVEL/mathml_editor/debian/rules [changed mode: 0755->0644]
helm/software/DEVEL/ocaml-http/debian/rules [changed mode: 0755->0644]
helm/software/components/STATS/patch_deps.sh [changed mode: 0755->0644]
helm/software/components/binaries/dump_db/dump.sh [changed mode: 0755->0644]
helm/software/components/binaries/matitaprover/run_on_a_list.sh [changed mode: 0755->0644]
helm/software/components/binaries/table_creator/sync_db.sh [changed mode: 0755->0644]
helm/software/components/cic_proof_checking/freshNamesGenerator.ml [changed mode: 0755->0644]
helm/software/components/getter/mkindexes.pl [changed mode: 0755->0644]
helm/software/components/hbugs/scripts/brokerctl.sh [changed mode: 0755->0644]
helm/software/components/hbugs/scripts/build_tutors.ml [changed mode: 0755->0644]
helm/software/components/hbugs/scripts/ls_tutors.ml [changed mode: 0755->0644]
helm/software/components/hbugs/scripts/sabba.sh [changed mode: 0755->0644]
helm/software/daemons/graphs/tools/mk_html.pl [changed mode: 0755->0644]
helm/software/daemons/http_getter/tools/dump_db.ml [changed mode: 0755->0644]
helm/software/daemons/http_getter/tools/dump_db.pl [changed mode: 0755->0644]
helm/software/daemons/http_getter/tools/uri_escape.pl [changed mode: 0755->0644]
helm/software/daemons/http_getter/tools/uri_unescape.pl [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/daemon_respawner.sh [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-bootmisc.sh [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-draw-graph [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-http-getter [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-proof-checker [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-rdfly [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-search-engine [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-uri-set-queue [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-uwobo [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/helm-uwobo-stylesheets [changed mode: 0755->0644]
helm/software/daemons/scripts/init.d/loadPredefinedStylesheets.pl [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/ast_to_astfe.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/ast_tree.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/ast_type.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/astfe_to_linearfe.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/astfe_tree.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/env_to_flatenv.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/environment.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/linearfe.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/preast_to_ast.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/preast_tree.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/sigma.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/compiler/utility.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/freescale/Doc/counting_sort.txt [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/freescale/Doc/daa_test.txt [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/freescale/Doc/numeri_perfetti.txt [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/freescale/Doc/string_reverse.txt [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/freescale/fix-mkanystatus.sh [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/freescale/word32.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/parser/build.bat [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/parser/build.sh [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/parser/parser.y [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/parser/scanner.flex [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/parser/test.c [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/string/ascii_min.ma [changed mode: 0755->0644]
helm/software/matita/contribs/assembly/string/string.ma [changed mode: 0755->0644]
helm/software/matita/contribs/formal_topology/bin/comb.ml [changed mode: 0755->0644]
helm/software/matita/contribs/ng_TPTP/run_veloci.sh [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/ascii.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/list_utility.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/nat.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/nat_to_num.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/sigma.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/compiler/ast_type_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/compiler/environment.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/compiler/preast_tree.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_abs.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_bits.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_func.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_trees.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/model/HC05_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/model/HC08_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/model/HCS08_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/model/IP2022_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/model/RS08_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/model/model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/multivm/Freescale_multivm.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/multivm/IP2022_multivm.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/byte_or_word.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/Freescale_load_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/IP2022_load_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/IP2022_read_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/RS08_read_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/fetch.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/read_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/read_write/read_write_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/status_getter.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/status/status_setter.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/tests/medium_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/tests/medium_tests_tools.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/tests/micro_tests1.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/tests/micro_tests_tools.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/translation/Freescale_translation.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/translation/IP2022_translation.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/bitrigesim.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/bool.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/byte8.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/comp_num.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/comp_num_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/exadecim.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/oct.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/quatern.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/word16.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/word24.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/word24_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/word32.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly/universe/universe.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/common/ascii.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/common/ascii_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/common/comp.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/common/nat.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/common/sigma.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/compiler/ast_base_type.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/compiler/ast_base_type_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/compiler/ast_type.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/compiler/ast_type_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/compiler/environment.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/compiler/preast_tree.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_abs.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_bits.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_func.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_struct.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_struct_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_trees.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/model/HC05_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/model/HC08_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/model/HCS08_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/model/IP2022_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/model/RS08_model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/model/model.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/Freescale_multivm.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/IP2022_multivm.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/multivm.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/multivm/multivm_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_pseudo_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table_tests.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/byte_or_word.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/pseudo.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/Freescale_fetch.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/Freescale_load_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_fetch.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_load_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_read_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/RS08_read_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/fetch.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/fetch_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/load_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/read_write.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/read_write/read_write_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/HC05_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/HC05_status_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/HC08_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/HC08_status_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/IP2022_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/IP2022_status_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/RS08_status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/RS08_status_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/status.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/status_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/status_getter.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/status/status_setter.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/tests/micro_tests_tools.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/translation/Freescale_translation.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/translation/IP2022_translation.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/translation/translation.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/emulator/translation/translation_base.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/bitrigesim.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/bool.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/bool_lemmas.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/byte8.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/comp_ext.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/comp_num.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/exadecim.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/oct.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/word16.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/word24.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/num/word32.ma [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/nxp_8051_instr_set.pdf [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/presentazione2.pdf [changed mode: 0755->0644]
helm/software/matita/contribs/ng_assembly2/universe/universe.ma [changed mode: 0755->0644]
helm/software/matita/dist/fill_db.sh [changed mode: 0755->0644]
helm/software/matita/help/C/scripts/fix-symbols.sh [changed mode: 0755->0644]
helm/software/matita/scripts/clean_db.sh [changed mode: 0755->0644]
helm/software/matita/scripts/functions.lua [changed mode: 0755->0644]
helm/software/matita/scripts/profile_svn.sh [changed mode: 0755->0644]
helm/software/matita/tests/TPTP/classify.sh [changed mode: 0755->0644]
helm/software/matita/tests/TPTP/fetch_results_tptp.lua [changed mode: 0755->0644]
helm/software/matita/tests/TPTP/simulate_casc.sh [changed mode: 0755->0644]
helm/software/matita/tests/TPTP/try.sh [changed mode: 0755->0644]
helm/software/matita/tests/bad_tests/auto.ma [changed mode: 0755->0644]
helm/software/matita/tests/formal_topology.ma [changed mode: 0755->0644]
helm/software/matita/tests/reduction_new.ma [changed mode: 0755->0644]
helm/software/matita/tests/reduction_old.ma [changed mode: 0755->0644]
helm/software/metadata/dc/fill_db.pl [changed mode: 0755->0644]
helm/software/ocamlbuild.sh [changed mode: 0755->0644]
helm/software/share/texmf/unicode/discovermacro.pl [changed mode: 0755->0644]
helm/software/share/texmf/unicode/latexout.pl [changed mode: 0755->0644]
helm/software/share/texmf/unicode/makeunidef.pl [changed mode: 0755->0644]
helm/www/matita/cgi-bin/hl.cgi [changed mode: 0755->0644]
helm/www/matita/docs/manual-0.5.9/scripts/fix-symbols.sh [changed mode: 0755->0644]
helm/www/matita1.0/cgi-bin/hl.cgi [changed mode: 0755->0644]
matita/components/binaries/dump_db/dump.sh [changed mode: 0755->0644]
matita/components/binaries/matitaprover/run_on_a_list.sh [changed mode: 0755->0644]
matita/components/getter/mkindexes.pl [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/ast_to_astfe.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/ast_tree.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/ast_type.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/astfe_to_linearfe.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/astfe_tree.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/env_to_flatenv.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/environment.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/linearfe.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/preast_to_ast.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/preast_tree.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/sigma.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/tests.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/compiler/utility.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/freescale/Doc/counting_sort.txt [changed mode: 0755->0644]
matita/matita/contribs/assembly/freescale/Doc/daa_test.txt [changed mode: 0755->0644]
matita/matita/contribs/assembly/freescale/Doc/numeri_perfetti.txt [changed mode: 0755->0644]
matita/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt [changed mode: 0755->0644]
matita/matita/contribs/assembly/freescale/Doc/string_reverse.txt [changed mode: 0755->0644]
matita/matita/contribs/assembly/freescale/fix-mkanystatus.sh [changed mode: 0755->0644]
matita/matita/contribs/assembly/freescale/word32.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/parser/build.bat [changed mode: 0755->0644]
matita/matita/contribs/assembly/parser/build.sh [changed mode: 0755->0644]
matita/matita/contribs/assembly/parser/parser.y [changed mode: 0755->0644]
matita/matita/contribs/assembly/parser/scanner.flex [changed mode: 0755->0644]
matita/matita/contribs/assembly/parser/test.c [changed mode: 0755->0644]
matita/matita/contribs/assembly/string/ascii_min.ma [changed mode: 0755->0644]
matita/matita/contribs/assembly/string/string.ma [changed mode: 0755->0644]
matita/matita/contribs/formal_topology/bin/comb.ml [changed mode: 0755->0644]
matita/matita/contribs/ng_TPTP/run_veloci.sh [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/ascii.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/ascii_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/list_utility.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/list_utility_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/nat.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/nat_to_num.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/sigma.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/common/string_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/compiler/ast_type.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/compiler/ast_type_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/compiler/environment.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/compiler/preast_tree.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/memory/memory_abs.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/memory/memory_bits.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/memory/memory_func.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/memory/memory_struct.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/memory/memory_struct_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/memory/memory_trees.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/model/HC05_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/model/HC08_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/model/HCS08_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/model/IP2022_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/model/RS08_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/model/model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/multivm/Freescale_multivm.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/multivm/IP2022_multivm.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/multivm/multivm.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/multivm/multivm_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/HC05_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/HC08_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/byte_or_word.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/pseudo.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/opcodes/pseudo_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/Freescale_load_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/IP2022_load_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/IP2022_read_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/RS08_read_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/fetch.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/load_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/read_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/read_write/read_write_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/HC05_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/HC05_status_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/HC08_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/HC08_status_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/IP2022_status_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/RS08_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/RS08_status_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/status_getter.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/status/status_setter.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/tests/medium_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/tests/medium_tests_tools.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/tests/micro_tests1.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/tests/micro_tests_tools.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/translation/Freescale_translation.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/translation/IP2022_translation.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/translation/translation.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/emulator/translation/translation_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/bitrigesim.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/bool.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/bool_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/byte8.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/byte8_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/comp_num.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/comp_num_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/exadecim.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/exadecim_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/oct.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/oct_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/quatern.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/quatern_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/word16.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/word16_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/word24.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/word24_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/word32.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/num/word32_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly/universe/universe.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/common/ascii.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/common/ascii_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/common/comp.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/common/nat.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/common/sigma.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/compiler/ast_base_type.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/compiler/ast_base_type_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/compiler/ast_type.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/compiler/ast_type_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/compiler/environment.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/compiler/preast_tree.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/memory/memory_abs.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/memory/memory_bits.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/memory/memory_func.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/memory/memory_struct.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/memory/memory_struct_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/memory/memory_trees.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/model/HC05_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/model/HC08_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/model/HCS08_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/model/IP2022_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/model/RS08_model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/model/model.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/multivm/Freescale_multivm.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/multivm/IP2022_multivm.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/multivm/multivm.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/multivm/multivm_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_pseudo_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table_tests.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/byte_or_word.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/opcodes/pseudo.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/Freescale_fetch.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/Freescale_load_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/IP2022_fetch.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/IP2022_load_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/IP2022_read_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/RS08_read_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/fetch.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/fetch_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/load_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/read_write.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/read_write/read_write_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/HC05_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/HC05_status_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/HC08_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/HC08_status_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/IP2022_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/IP2022_status_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/RS08_status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/RS08_status_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/status.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/status_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/status_getter.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/status/status_setter.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/tests/micro_tests_tools.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/translation/Freescale_translation.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/translation/IP2022_translation.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/translation/translation.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/emulator/translation/translation_base.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/bitrigesim.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/bool.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/bool_lemmas.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/byte8.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/comp_ext.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/comp_num.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/exadecim.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/oct.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/word16.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/word24.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/num/word32.ma [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/nxp_8051_instr_set.pdf [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/presentazione2.pdf [changed mode: 0755->0644]
matita/matita/contribs/ng_assembly2/universe/universe.ma [changed mode: 0755->0644]
matita/matita/dist/fill_db.sh [changed mode: 0755->0644]
matita/matita/help/C/scripts/fix-symbols.sh [changed mode: 0755->0644]
matita/matita/scripts/clean_db.sh [changed mode: 0755->0644]
matita/matita/scripts/functions.lua [changed mode: 0755->0644]
matita/matita/scripts/profile_svn.sh [changed mode: 0755->0644]
matita/matita/tests/TPTP/classify.sh [changed mode: 0755->0644]
matita/matita/tests/TPTP/fetch_results_tptp.lua [changed mode: 0755->0644]
matita/matita/tests/TPTP/simulate_casc.sh [changed mode: 0755->0644]
matita/matita/tests/TPTP/try.sh [changed mode: 0755->0644]
matita/matita/tests/bad_tests/auto.ma [changed mode: 0755->0644]
matita/matita/tests/formal_topology.ma [changed mode: 0755->0644]
matita/matita/tests/reduction_new.ma [changed mode: 0755->0644]
matita/matita/tests/reduction_old.ma [changed mode: 0755->0644]
matitaB/components/binaries/dump_db/dump.sh [changed mode: 0755->0644]
matitaB/components/binaries/matitaprover/run_on_a_list.sh [changed mode: 0755->0644]
matitaB/components/getter/mkindexes.pl [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/ast_to_astfe.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/ast_tree.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/ast_type.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/astfe_to_linearfe.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/astfe_tree.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/env_to_flatenv.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/environment.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/linearfe.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/preast_to_ast.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/preast_tree.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/sigma.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/compiler/utility.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/freescale/Doc/counting_sort.txt [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/freescale/Doc/daa_test.txt [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/freescale/Doc/numeri_perfetti.txt [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/freescale/Doc/string_reverse.txt [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/freescale/fix-mkanystatus.sh [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/freescale/word32.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/parser/build.bat [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/parser/build.sh [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/parser/parser.y [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/parser/scanner.flex [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/parser/test.c [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/string/ascii_min.ma [changed mode: 0755->0644]
matitaB/matita/contribs/assembly/string/string.ma [changed mode: 0755->0644]
matitaB/matita/contribs/formal_topology/bin/comb.ml [changed mode: 0755->0644]
matitaB/matita/contribs/ng_TPTP/run_veloci.sh [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/ascii.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/ascii_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/list_utility.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/list_utility_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/nat.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/nat_to_num.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/sigma.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/common/string_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/compiler/ast_type.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/compiler/ast_type_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/compiler/environment.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/compiler/preast_tree.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/memory/memory_abs.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/memory/memory_bits.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/memory/memory_func.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/memory/memory_struct.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/memory/memory_struct_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/memory/memory_trees.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/model/HC05_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/model/HC08_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/model/HCS08_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/model/IP2022_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/model/RS08_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/model/model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/multivm/Freescale_multivm.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/multivm/IP2022_multivm.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/multivm/multivm.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/multivm/multivm_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/HC05_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/HC08_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/byte_or_word.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/pseudo.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/opcodes/pseudo_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/Freescale_load_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/IP2022_load_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/IP2022_read_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/RS08_read_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/fetch.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/load_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/read_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/read_write/read_write_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/HC05_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/HC05_status_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/HC08_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/HC08_status_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/IP2022_status_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/RS08_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/RS08_status_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/status_getter.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/status/status_setter.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/tests/medium_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/tests/medium_tests_tools.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/tests/micro_tests1.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/tests/micro_tests_tools.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/translation/Freescale_translation.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/translation/IP2022_translation.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/translation/translation.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/emulator/translation/translation_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/bitrigesim.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/bool.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/bool_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/byte8.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/byte8_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/comp_num.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/comp_num_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/exadecim.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/exadecim_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/oct.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/oct_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/quatern.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/quatern_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/word16.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/word16_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/word24.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/word24_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/word32.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/num/word32_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly/universe/universe.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/common/ascii.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/common/ascii_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/common/comp.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/common/nat.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/common/sigma.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/compiler/ast_base_type.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/compiler/ast_base_type_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/compiler/ast_type.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/compiler/ast_type_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/compiler/environment.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/compiler/preast_tree.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/memory/memory_abs.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/memory/memory_bits.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/memory/memory_func.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/memory/memory_struct.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/memory/memory_struct_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/memory/memory_trees.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/model/HC05_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/model/HC08_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/model/HCS08_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/model/IP2022_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/model/RS08_model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/model/model.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/multivm/Freescale_multivm.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/multivm/IP2022_multivm.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/multivm/multivm.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/multivm/multivm_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_pseudo_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table_tests.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/byte_or_word.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/opcodes/pseudo.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/Freescale_fetch.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/Freescale_load_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/IP2022_fetch.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/IP2022_load_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/IP2022_read_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/RS08_read_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/fetch.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/fetch_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/load_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/read_write.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/read_write/read_write_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/HC05_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/HC05_status_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/HC08_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/HC08_status_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/IP2022_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/IP2022_status_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/RS08_status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/RS08_status_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/status.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/status_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/status_getter.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/status/status_setter.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/tests/micro_tests_tools.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/translation/Freescale_translation.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/translation/IP2022_translation.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/translation/translation.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/emulator/translation/translation_base.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/bitrigesim.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/bool.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/bool_lemmas.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/byte8.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/comp_ext.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/comp_num.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/exadecim.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/oct.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/word16.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/word24.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/num/word32.ma [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/nxp_8051_instr_set.pdf [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/presentazione2.pdf [changed mode: 0755->0644]
matitaB/matita/contribs/ng_assembly2/universe/universe.ma [changed mode: 0755->0644]
matitaB/matita/dist/fill_db.sh [changed mode: 0755->0644]
matitaB/matita/help/C/scripts/fix-symbols.sh [changed mode: 0755->0644]
matitaB/matita/html/register.html [changed mode: 0755->0644]
matitaB/matita/matitaweb [changed mode: 0755->0644]
matitaB/matita/scripts/clean_db.sh [changed mode: 0755->0644]
matitaB/matita/scripts/functions.lua [changed mode: 0755->0644]
matitaB/matita/scripts/profile_svn.sh [changed mode: 0755->0644]
matitaB/matita/tests/TPTP/classify.sh [changed mode: 0755->0644]
matitaB/matita/tests/TPTP/fetch_results_tptp.lua [changed mode: 0755->0644]
matitaB/matita/tests/TPTP/simulate_casc.sh [changed mode: 0755->0644]
matitaB/matita/tests/TPTP/try.sh [changed mode: 0755->0644]
matitaB/matita/tests/bad_tests/auto.ma [changed mode: 0755->0644]
matitaB/matita/tests/formal_topology.ma [changed mode: 0755->0644]
matitaB/matita/tests/reduction_new.ma [changed mode: 0755->0644]
matitaB/matita/tests/reduction_old.ma [changed mode: 0755->0644]
matitaB/matita/webdb_convert.sh [changed mode: 0755->0644]