X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fread_write%2Fload_write_base.ma;h=8ee6e9446d23cd0951f4e937e6400c3eef26bfaf;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=d3bd4f96d4d9b43ba76e09510586874ee25fbb35;hpb=ced2abc1e3fe84d5bbfa9ccb2ebf46f253279ebe;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma b/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma
old mode 100755
new mode 100644
index d3bd4f96d..8ee6e9446
--- a/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma
@@ -22,10 +22,6 @@
 
 include "emulator/read_write/read_write.ma".
 
-(* ************************ *)
-(* MODALITA' INDIRIZZAMENTO *)
-(* ************************ *)
-
 (* mattoni base *)
 (* - incrementano l'indirizzo normalmente *)
 (* - incrementano PC attraverso il filtro *)