From: Claudio Sacerdoti Coen Date: Sat, 4 Feb 2023 13:38:50 +0000 (+0100) Subject: mod change (-x) X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=67a53232e25cdfe8301abd26a425f215085ea580;p=helm.git mod change (-x) --- 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