Commit 9f4d3c11 authored by wenzelm's avatar wenzelm
Browse files

clarified message, following Isabelle/a7aabdf889b7;

parent c351b9b63b58
......@@ -9,7 +9,7 @@ setup \<open>fn thy =>
val package = "package tum.in.net.psn.log_topo.SecurityInvariants.GENERATED";
val date = Date.toString (Date.fromTimeLocal (Time.now ()));
val export_file = Context.theory_name thy ^ ".thy";
val header = package ^ "\n" ^ "// Generated by Isabelle (" ^ Isabelle_System.isabelle_heading () ^ ") on " ^ date ^ "\n" ^ "// src: " ^ export_file ^ "\n";
val header = package ^ "\n" ^ "// Generated by " ^ Isabelle_System.identification () ^ " on " ^ date ^ "\n" ^ "// src: " ^ export_file ^ "\n";
in
Code_Target.set_printings (Code_Symbol.Module ("", [("Scala", SOME (header, []))])) thy
end
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment