search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

Display change log on new release #863

Closed rtetley closed 1 month ago

rtetley commented 2 months ago

Their have been several instances (like here) in which users believed the extension was broken due to a change in default behavior.

To address this: 1) Make change logs more readable (and make sure the changelog page in the extension redirects towards the Releases url). 2) It would be nice I think to open a tab with a changelog screen that outlines all the major changes and the new features

rtetley commented 1 month ago

After investigation there is no easy way to do this. The gitlens extension has a what's new page but it involves something a little more complicated. For now I will simply redirect the users to the releases page of the extension.