Version number in build artifacts

[wadoon]

From @thomasbaar, I received a suggestion via mail, that the build artifact (keymaerax.jar) should contain the version number (e.g., keymaerax-5.1.1.jar).

I already discussed with @EnguerrandPrebet, that the main reason might be to simplify the upload to Andre's homepage.

[Garmelon]

Do you mean the name of the jar in the release on GitHub, or the name of the jar when compiled with sbt?

[wadoon]

Yes and yes.

At least the name in Github release should carry the version number. For users that is the important point. But in general, it is best practice to just create artifacts with version numbers.

For example, in KeY we add -dev on development versions so main branch results into jars like key.core-2.12.4-dev.jar.

[Garmelon]

The jar name in the repo is already named something like keymaerax-webui-5.1.1.jar.