let ok = ref true
+let version = KP.sprintf "This file was generated by %s: do not edit" (G.version_string true)
+
let base = "matita"
let ext = ".ma"
let path = KF.concat dir fname in
let och = open_out (path ^ ext) in
out_preamble och;
- out_top_comment och (KP.sprintf "This file was generated by %s: do not edit" G.version_string);
+ out_top_comment och version;
out_include och "basics/pts";
output_entity och, close_out och