-
Notifications
You must be signed in to change notification settings - Fork 22
Pull requests: runtimeverification/k-editor-support
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix syntax highlighting for 'macro-rec' and add highlighting for 'alias-rec' and 'alias'
#57
opened Aug 20, 2024 by
ioanasilas
Loading…
Bump braces from 3.0.2 to 3.0.3 in /k-vscode
dependencies
Pull requests that update a dependency file
#56
opened Jul 11, 2024 by
dependabot
bot
Loading…
Accept dashes in ids and tags for pygments syntax highlighting
#5
opened Oct 4, 2019 by
chathhorn
Loading…
ProTip!
Follow long discussions with comments:>50.