Skip to content

Conversation

Alidra
Copy link
Member

@Alidra Alidra commented Sep 19, 2025

This PR create a workflow to test the Emacs package with different version of Eglot, Math-symbol-lists and Highlight.
Note the script used for this purpose hacks the installation process of Elpa to install specific versions of the dependencies because Elpa does not allow as far as I know to install specific (previous) versions of packages.

Todo before merging

  • Keep only the versions with whome Lambdapi-mode works.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant