matita.cs.unibo.it Git - helm.git/commit - matitaB/matita/contribs/assembly/compiler/sigma.ma

]> matita.cs.unibo.it Git - helm.git/commit - matitaB/matita/contribs/assembly/compiler/sigma.ma

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sat, 4 Feb 2023 13:38:50 +0000 (14:38 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100)
commit	bbf85ddcdfe0809fee0c6ca9812ce0da30c238af
tree	fb3715594ecfa446a25b6a7ae9910c86f3a67f47	tree \| snapshot
parent	7c9d99dfb049d726491b71f07ba6a9b088b30166	commit \| diff

mod change (-x)

747 files changed:

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

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom