Skip to content

coqfmt --version should print coqfmt's version, not Coq's one #138

@toku-sa-n

Description

@toku-sa-n

Current coqfmt --version prints

The Coq Proof Assistant, version 8.17.1
compiled with OCaml 4.14.1

It is due to #128.

Instead, we want something like this:

$ coqfmt --version
0.1.0

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions