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