Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix: Dafny plugins working again. #453

Merged
merged 1 commit into from
Nov 27, 2023
Merged

Fix: Dafny plugins working again. #453

merged 1 commit into from
Nov 27, 2023

Commits on Nov 27, 2023

  1. Fix: Dafny plugins working again. 

    The plugins option of the IDE was no longer working because we were outputting the index.
It might not matter that much now that we have project files, but it's now fixed and I
also deprecated the options to add plugins this way since regular options work as much as project files.
    @MikaelMayer
    MikaelMayer committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    e3c7981 View commit details
    Browse the repository at this point in the history