mod change (-x)

diff --git a/helm/EXPORT/cshrc b/helm/EXPORT/cshrc
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Bordeaux_EXCEPTIONS/exporttheories.sh b/helm/EXPORT/export_Bordeaux_EXCEPTIONS/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Marseille_CCS/exporttheories.sh b/helm/EXPORT/export_Marseille_CCS/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Nijmegen_Rem/exporttheories.sh b/helm/EXPORT/export_Nijmegen_Rem/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Paris_ZF/exporttheories.sh b/helm/EXPORT/export_Paris_ZF/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Rocq_CHECKER/exporttheories.sh b/helm/EXPORT/export_Rocq_CHECKER/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Rocq_HIGMAN/exporttheories.sh b/helm/EXPORT/export_Rocq_HIGMAN/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Rocq_SHUFFLE/exporttheories.sh b/helm/EXPORT/export_Rocq_SHUFFLE/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/export_Utrecht_Ramsey/exporttheories.sh b/helm/EXPORT/export_Utrecht_Ramsey/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/exportcoq/export_contrib_theory.sh b/helm/EXPORT/exportcoq/export_contrib_theory.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/exportcoq/export_theory_theory.sh b/helm/EXPORT/exportcoq/export_theory_theory.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/exportcoq/exporttheories.sh b/helm/EXPORT/exportcoq/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/exportcsczfc/exporttheories.sh b/helm/EXPORT/exportcsczfc/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/exportprove/exporttheories.sh b/helm/EXPORT/exportprove/exporttheories.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/EXPORT/mktheory.pl b/helm/EXPORT/mktheory.pl
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/DEVEL/gdome_xslt/debian/rules b/helm/software/DEVEL/gdome_xslt/debian/rules
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/DEVEL/lablgtkmathview/debian/rules b/helm/software/DEVEL/lablgtkmathview/debian/rules
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/DEVEL/mathml_editor/debian/rules b/helm/software/DEVEL/mathml_editor/debian/rules
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/DEVEL/ocaml-http/debian/rules b/helm/software/DEVEL/ocaml-http/debian/rules
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/STATS/patch_deps.sh b/helm/software/components/STATS/patch_deps.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/binaries/dump_db/dump.sh b/helm/software/components/binaries/dump_db/dump.sh
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/cic_proof_checking/freshNamesGenerator.ml b/helm/software/components/cic_proof_checking/freshNamesGenerator.ml
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/getter/mkindexes.pl b/helm/software/components/getter/mkindexes.pl
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/hbugs/scripts/brokerctl.sh b/helm/software/components/hbugs/scripts/brokerctl.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/hbugs/scripts/build_tutors.ml b/helm/software/components/hbugs/scripts/build_tutors.ml
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/hbugs/scripts/ls_tutors.ml b/helm/software/components/hbugs/scripts/ls_tutors.ml
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/components/hbugs/scripts/sabba.sh b/helm/software/components/hbugs/scripts/sabba.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/daemons/graphs/tools/mk_html.pl b/helm/software/daemons/graphs/tools/mk_html.pl
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/daemons/scripts/init.d/helm b/helm/software/daemons/scripts/init.d/helm
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/daemons/scripts/init.d/helm-rdfly b/helm/software/daemons/scripts/init.d/helm-rdfly
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/daemons/scripts/init.d/helm-uwobo b/helm/software/daemons/scripts/init.d/helm-uwobo
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/daemons/scripts/init.d/loadPredefinedStylesheets.pl b/helm/software/daemons/scripts/init.d/loadPredefinedStylesheets.pl
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/compiler/environment.ma b/helm/software/matita/contribs/assembly/compiler/environment.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/compiler/linearfe.ma b/helm/software/matita/contribs/assembly/compiler/linearfe.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/compiler/sigma.ma b/helm/software/matita/contribs/assembly/compiler/sigma.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/compiler/tests.ma b/helm/software/matita/contribs/assembly/compiler/tests.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/compiler/utility.ma b/helm/software/matita/contribs/assembly/compiler/utility.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/freescale/word32.ma b/helm/software/matita/contribs/assembly/freescale/word32.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/parser/build.bat b/helm/software/matita/contribs/assembly/parser/build.bat
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/parser/build.sh b/helm/software/matita/contribs/assembly/parser/build.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/parser/parser.y b/helm/software/matita/contribs/assembly/parser/parser.y
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/parser/scanner.flex b/helm/software/matita/contribs/assembly/parser/scanner.flex
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/parser/test.c b/helm/software/matita/contribs/assembly/parser/test.c
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/assembly/string/string.ma b/helm/software/matita/contribs/assembly/string/string.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/contribs/ng_assembly2/presentazione2.pdf b/helm/software/matita/contribs/ng_assembly2/presentazione2.pdf
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/dist/fill_db.sh b/helm/software/matita/dist/fill_db.sh
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/scripts/clean_db.sh b/helm/software/matita/scripts/clean_db.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/scripts/functions.lua b/helm/software/matita/scripts/functions.lua
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/scripts/profile_svn.sh b/helm/software/matita/scripts/profile_svn.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/tests/TPTP/classify.sh b/helm/software/matita/tests/TPTP/classify.sh
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/tests/TPTP/simulate_casc.sh b/helm/software/matita/tests/TPTP/simulate_casc.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/tests/TPTP/try.sh b/helm/software/matita/tests/TPTP/try.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/tests/bad_tests/auto.ma b/helm/software/matita/tests/bad_tests/auto.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/tests/formal_topology.ma b/helm/software/matita/tests/formal_topology.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/tests/reduction_new.ma b/helm/software/matita/tests/reduction_new.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/matita/tests/reduction_old.ma b/helm/software/matita/tests/reduction_old.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/metadata/dc/fill_db.pl b/helm/software/metadata/dc/fill_db.pl
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/ocamlbuild.sh b/helm/software/ocamlbuild.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/share/texmf/unicode/discovermacro.pl b/helm/software/share/texmf/unicode/discovermacro.pl
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/share/texmf/unicode/latexout.pl b/helm/software/share/texmf/unicode/latexout.pl
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/software/share/texmf/unicode/makeunidef.pl b/helm/software/share/texmf/unicode/makeunidef.pl
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/helm/www/matita/cgi-bin/hl.cgi b/helm/www/matita/cgi-bin/hl.cgi
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/helm/www/matita1.0/cgi-bin/hl.cgi b/helm/www/matita1.0/cgi-bin/hl.cgi
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/components/binaries/dump_db/dump.sh b/matita/components/binaries/dump_db/dump.sh
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/components/getter/mkindexes.pl b/matita/components/getter/mkindexes.pl
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/ast_tree.ma b/matita/matita/contribs/assembly/compiler/ast_tree.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/ast_type.ma b/matita/matita/contribs/assembly/compiler/ast_type.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/astfe_tree.ma b/matita/matita/contribs/assembly/compiler/astfe_tree.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/environment.ma b/matita/matita/contribs/assembly/compiler/environment.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/linearfe.ma b/matita/matita/contribs/assembly/compiler/linearfe.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/preast_tree.ma b/matita/matita/contribs/assembly/compiler/preast_tree.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/sigma.ma b/matita/matita/contribs/assembly/compiler/sigma.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/tests.ma b/matita/matita/contribs/assembly/compiler/tests.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/compiler/utility.ma b/matita/matita/contribs/assembly/compiler/utility.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/freescale/fix-mkanystatus.sh b/matita/matita/contribs/assembly/freescale/fix-mkanystatus.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/freescale/word32.ma b/matita/matita/contribs/assembly/freescale/word32.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/parser/build.bat b/matita/matita/contribs/assembly/parser/build.bat
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/parser/build.sh b/matita/matita/contribs/assembly/parser/build.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/parser/parser.y b/matita/matita/contribs/assembly/parser/parser.y
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/parser/scanner.flex b/matita/matita/contribs/assembly/parser/scanner.flex
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/parser/test.c b/matita/matita/contribs/assembly/parser/test.c
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/string/ascii_min.ma b/matita/matita/contribs/assembly/string/ascii_min.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/assembly/string/string.ma b/matita/matita/contribs/assembly/string/string.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/formal_topology/bin/comb.ml b/matita/matita/contribs/formal_topology/bin/comb.ml
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_TPTP/run_veloci.sh b/matita/matita/contribs/ng_TPTP/run_veloci.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/common/ascii.ma b/matita/matita/contribs/ng_assembly/common/ascii.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/common/nat.ma b/matita/matita/contribs/ng_assembly/common/nat.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/common/sigma.ma b/matita/matita/contribs/ng_assembly/common/sigma.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/compiler/environment.ma b/matita/matita/contribs/ng_assembly/compiler/environment.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/bitrigesim.ma b/matita/matita/contribs/ng_assembly/num/bitrigesim.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/bool.ma b/matita/matita/contribs/ng_assembly/num/bool.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/byte8.ma b/matita/matita/contribs/ng_assembly/num/byte8.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/exadecim.ma b/matita/matita/contribs/ng_assembly/num/exadecim.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/oct.ma b/matita/matita/contribs/ng_assembly/num/oct.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/quatern.ma b/matita/matita/contribs/ng_assembly/num/quatern.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/word16.ma b/matita/matita/contribs/ng_assembly/num/word16.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/word24.ma b/matita/matita/contribs/ng_assembly/num/word24.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/num/word32.ma b/matita/matita/contribs/ng_assembly/num/word32.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly/universe/universe.ma b/matita/matita/contribs/ng_assembly/universe/universe.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/common/ascii.ma b/matita/matita/contribs/ng_assembly2/common/ascii.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/common/comp.ma b/matita/matita/contribs/ng_assembly2/common/comp.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/common/nat.ma b/matita/matita/contribs/ng_assembly2/common/nat.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/common/sigma.ma b/matita/matita/contribs/ng_assembly2/common/sigma.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/compiler/environment.ma b/matita/matita/contribs/ng_assembly2/compiler/environment.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/bitrigesim.ma b/matita/matita/contribs/ng_assembly2/num/bitrigesim.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/bool.ma b/matita/matita/contribs/ng_assembly2/num/bool.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/byte8.ma b/matita/matita/contribs/ng_assembly2/num/byte8.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/exadecim.ma b/matita/matita/contribs/ng_assembly2/num/exadecim.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/oct.ma b/matita/matita/contribs/ng_assembly2/num/oct.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/word16.ma b/matita/matita/contribs/ng_assembly2/num/word16.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/word24.ma b/matita/matita/contribs/ng_assembly2/num/word24.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/num/word32.ma b/matita/matita/contribs/ng_assembly2/num/word32.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/presentazione2.pdf b/matita/matita/contribs/ng_assembly2/presentazione2.pdf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/contribs/ng_assembly2/universe/universe.ma b/matita/matita/contribs/ng_assembly2/universe/universe.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/dist/fill_db.sh b/matita/matita/dist/fill_db.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/help/C/scripts/fix-symbols.sh b/matita/matita/help/C/scripts/fix-symbols.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/scripts/clean_db.sh b/matita/matita/scripts/clean_db.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/scripts/functions.lua b/matita/matita/scripts/functions.lua
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/scripts/profile_svn.sh b/matita/matita/scripts/profile_svn.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/TPTP/classify.sh b/matita/matita/tests/TPTP/classify.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/TPTP/fetch_results_tptp.lua b/matita/matita/tests/TPTP/fetch_results_tptp.lua
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/TPTP/simulate_casc.sh b/matita/matita/tests/TPTP/simulate_casc.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/TPTP/try.sh b/matita/matita/tests/TPTP/try.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/bad_tests/auto.ma b/matita/matita/tests/bad_tests/auto.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/formal_topology.ma b/matita/matita/tests/formal_topology.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/reduction_new.ma b/matita/matita/tests/reduction_new.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matita/matita/tests/reduction_old.ma b/matita/matita/tests/reduction_old.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/components/binaries/dump_db/dump.sh b/matitaB/components/binaries/dump_db/dump.sh
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/components/getter/mkindexes.pl b/matitaB/components/getter/mkindexes.pl
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/ast_tree.ma b/matitaB/matita/contribs/assembly/compiler/ast_tree.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/ast_type.ma b/matitaB/matita/contribs/assembly/compiler/ast_type.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/astfe_tree.ma b/matitaB/matita/contribs/assembly/compiler/astfe_tree.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/environment.ma b/matitaB/matita/contribs/assembly/compiler/environment.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/linearfe.ma b/matitaB/matita/contribs/assembly/compiler/linearfe.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/preast_tree.ma b/matitaB/matita/contribs/assembly/compiler/preast_tree.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/sigma.ma b/matitaB/matita/contribs/assembly/compiler/sigma.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/tests.ma b/matitaB/matita/contribs/assembly/compiler/tests.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/compiler/utility.ma b/matitaB/matita/contribs/assembly/compiler/utility.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/freescale/fix-mkanystatus.sh b/matitaB/matita/contribs/assembly/freescale/fix-mkanystatus.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/freescale/word32.ma b/matitaB/matita/contribs/assembly/freescale/word32.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/parser/build.bat b/matitaB/matita/contribs/assembly/parser/build.bat
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/parser/build.sh b/matitaB/matita/contribs/assembly/parser/build.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/parser/parser.y b/matitaB/matita/contribs/assembly/parser/parser.y
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/parser/scanner.flex b/matitaB/matita/contribs/assembly/parser/scanner.flex
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/parser/test.c b/matitaB/matita/contribs/assembly/parser/test.c
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/string/ascii_min.ma b/matitaB/matita/contribs/assembly/string/ascii_min.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/assembly/string/string.ma b/matitaB/matita/contribs/assembly/string/string.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/formal_topology/bin/comb.ml b/matitaB/matita/contribs/formal_topology/bin/comb.ml
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_TPTP/run_veloci.sh b/matitaB/matita/contribs/ng_TPTP/run_veloci.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/common/ascii.ma b/matitaB/matita/contribs/ng_assembly/common/ascii.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/common/nat.ma b/matitaB/matita/contribs/ng_assembly/common/nat.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/common/sigma.ma b/matitaB/matita/contribs/ng_assembly/common/sigma.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/compiler/environment.ma b/matitaB/matita/contribs/ng_assembly/compiler/environment.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/bitrigesim.ma b/matitaB/matita/contribs/ng_assembly/num/bitrigesim.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/bool.ma b/matitaB/matita/contribs/ng_assembly/num/bool.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/byte8.ma b/matitaB/matita/contribs/ng_assembly/num/byte8.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/exadecim.ma b/matitaB/matita/contribs/ng_assembly/num/exadecim.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/oct.ma b/matitaB/matita/contribs/ng_assembly/num/oct.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/quatern.ma b/matitaB/matita/contribs/ng_assembly/num/quatern.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/word16.ma b/matitaB/matita/contribs/ng_assembly/num/word16.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/word24.ma b/matitaB/matita/contribs/ng_assembly/num/word24.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/num/word32.ma b/matitaB/matita/contribs/ng_assembly/num/word32.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly/universe/universe.ma b/matitaB/matita/contribs/ng_assembly/universe/universe.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/common/ascii.ma b/matitaB/matita/contribs/ng_assembly2/common/ascii.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/common/comp.ma b/matitaB/matita/contribs/ng_assembly2/common/comp.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/common/nat.ma b/matitaB/matita/contribs/ng_assembly2/common/nat.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/common/sigma.ma b/matitaB/matita/contribs/ng_assembly2/common/sigma.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/compiler/environment.ma b/matitaB/matita/contribs/ng_assembly2/compiler/environment.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/bitrigesim.ma b/matitaB/matita/contribs/ng_assembly2/num/bitrigesim.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/bool.ma b/matitaB/matita/contribs/ng_assembly2/num/bool.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/byte8.ma b/matitaB/matita/contribs/ng_assembly2/num/byte8.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/exadecim.ma b/matitaB/matita/contribs/ng_assembly2/num/exadecim.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/oct.ma b/matitaB/matita/contribs/ng_assembly2/num/oct.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/word16.ma b/matitaB/matita/contribs/ng_assembly2/num/word16.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/word24.ma b/matitaB/matita/contribs/ng_assembly2/num/word24.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/num/word32.ma b/matitaB/matita/contribs/ng_assembly2/num/word32.ma
old mode 100755 (executable)
new mode 100644 (file)

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 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/presentazione2.pdf b/matitaB/matita/contribs/ng_assembly2/presentazione2.pdf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/contribs/ng_assembly2/universe/universe.ma b/matitaB/matita/contribs/ng_assembly2/universe/universe.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/dist/fill_db.sh b/matitaB/matita/dist/fill_db.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/help/C/scripts/fix-symbols.sh b/matitaB/matita/help/C/scripts/fix-symbols.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/html/register.html b/matitaB/matita/html/register.html
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/matitaweb b/matitaB/matita/matitaweb
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/scripts/clean_db.sh b/matitaB/matita/scripts/clean_db.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/scripts/functions.lua b/matitaB/matita/scripts/functions.lua
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/scripts/profile_svn.sh b/matitaB/matita/scripts/profile_svn.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/TPTP/classify.sh b/matitaB/matita/tests/TPTP/classify.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/TPTP/fetch_results_tptp.lua b/matitaB/matita/tests/TPTP/fetch_results_tptp.lua
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/TPTP/simulate_casc.sh b/matitaB/matita/tests/TPTP/simulate_casc.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/TPTP/try.sh b/matitaB/matita/tests/TPTP/try.sh
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/bad_tests/auto.ma b/matitaB/matita/tests/bad_tests/auto.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/formal_topology.ma b/matitaB/matita/tests/formal_topology.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/reduction_new.ma b/matitaB/matita/tests/reduction_new.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/tests/reduction_old.ma b/matitaB/matita/tests/reduction_old.ma
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/matitaB/matita/webdb_convert.sh b/matitaB/matita/webdb_convert.sh
old mode 100755 (executable)
new mode 100644 (file)