]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/matitaScript.ml
no longer use absolute path for naming notebook labels
[helm.git] / helm / matita / matitaScript.ml
index 97c707e51ebedeff5c158432cb4cbe04b7019607..f181b53d291c0d9a64e8755e867b47d70cdc255d 100644 (file)
@@ -449,7 +449,7 @@ object (self)
     
   method private ppFilename =
     match guistuff.filenamedata with 
-    | Some f,_ -> f 
+    | Some f,_ -> Filename.basename 
     | None,_ -> sprintf ".unnamed%d.ma" scriptId
   
   initializer