auto_generated hol directory name #18
Description
Why does auto_generated/hol specify -kananaskis-10? Is there something specific about the process which fixes it to that release? I can't see any such thing. I notice that the coq and isabelle directories are simply named without a version, and I would suggest the same convention for hol.