Skip to content

1.0.0: First released version

Latest
Latest
Compare
Choose a tag to compare
@motrellin motrellin released this 24 Jul 21:44
· 2 commits to main since this release
1.0.0
This tag was signed with the committer’s verified signature.
motrellin Max Ole Elliger
SSH Key Fingerprint: EIb475u01ho+HnGKkNmhWqVLjAGhYtwT+0COFEWvNE0 Learn about vigilant mode.
8a29482
This commit was signed with the committer’s verified signature.
motrellin Max Ole Elliger
SSH Key Fingerprint: EIb475u01ho+HnGKkNmhWqVLjAGhYtwT+0COFEWvNE0 Learn about vigilant mode.

First released version

New

- Update README.md. [motrellin]

  Added information about updating the Makefile
- Create README.md. [motrellin]
- Added generate.sh as a wrapper. [Max Ole Elliger]

  Added a wrapper for the commands offered
  [here](https://github.com/coq-community/templates?tab=readme-ov-file#generating-configuration-files-using-the-generatesh-script)

Fix
  • Fixed project page button. [Max Ole Elliger]

Other

- Init commit. [Max Ole Elliger]
Assets 2
Loading