X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Ffreescale%2Fstatus.ma;h=e9d374145fce5614e646a758169b5e8f6407be3a;hb=9e291b4d0a99118cd0a1c5540ef00c25ca37a56d;hp=b2ca1506d7db83c93d7673b518118c5975b95a19;hpb=5806e0aa438ae85f09c93c93ba9f53d9663d7420;p=helm.git

diff --git a/helm/software/matita/library/freescale/status.ma b/helm/software/matita/library/freescale/status.ma
index b2ca1506d..e9d374145 100644
--- a/helm/software/matita/library/freescale/status.ma
+++ b/helm/software/matita/library/freescale/status.ma
@@ -24,9 +24,6 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-set "baseuri" "cic:/matita/freescale/status/".
-
-(*include "/media/VIRTUOSO/freescale/memory_abs.ma".*)
 include "freescale/memory_abs.ma".
 
 (* *********************************** *)