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.
Why does
auto_generated/holspecify-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 thecoqandisabelledirectories are simply named without a version, and I would suggest the same convention forhol.