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

Add Version number to the emacs mode #1320

Merged
merged 1 commit into from
Jul 13, 2022
Merged

Add Version number to the emacs mode #1320

merged 1 commit into from
Jul 13, 2022

Conversation

mariari
Copy link
Member

@mariari mariari commented Jul 13, 2022

Solves #1273

And also does some minor format cleanup

@mariari mariari requested a review from jonaprieto July 13, 2022 11:09
@janmasrovira janmasrovira changed the title Add Version number to the eamcs mode Add Version number to the emacs mode Jul 13, 2022
jonaprieto
jonaprieto approved these changes Jul 13, 2022
View reviewed changes
Copy link
Collaborator

@jonaprieto jonaprieto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great!

@jonaprieto jonaprieto added this to the 0.2.2 milestone Jul 13, 2022
@jonaprieto jonaprieto merged commit ea767ef into main Jul 13, 2022
@jonaprieto jonaprieto deleted the mariari/juvix-mode-version branch July 13, 2022 13:49
@cwgoes cwgoes added old PRs from an older version of Juvix, no longer related to this repository. and removed old PRs from an older version of Juvix, no longer related to this repository. labels Jul 13, 2022
@jonaprieto jonaprieto linked an issue Jul 14, 2022 that may be closed by this pull request
Eval to get the current Juvix version installed on the machine in Emacs mode #1327
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonaprieto jonaprieto jonaprieto approved these changes

Assignees

@mariari mariari

Labels
emacs-mode
Projects
None yet
Milestone
0.2.2
Development

Successfully merging this pull request may close these issues.

Eval to get the current Juvix version installed on the machine in Emacs mode
3 participants
@mariari @jonaprieto @cwgoes