Code

Added easycrypt-mode snippets#503

Code

Open

JoaoDiogoDuarte wants to merge 4 commits intoAndreaCrotti:masterAndreaCrotti/yasnippet-snippets:masterfrom JoaoDiogoDuarte:masterJoaoDiogoDuarte/yasnippet-snippets:masterCopy head branch name to clipboard

+1,762

Commits

Commits on Jul 18, 2024

• initial easycrypt mode

  JoaoDiogoDuarte

  committed
  3c8f3d4

Commits on Jul 19, 2024

• Added emacs files in gitignore

  JoaoDiogoDuarte

  committed
  2c3f85b

• Added easycrypt snippets

  JoaoDiogoDuarte

  committed
  b702147

Commits on Sep 11, 2024

• Removed backup and autosave files

  JoaoDiogoDuarte

  committed
  3af40d6