Code

Emacs/del outdated files#1188

Code

Open

Alidra wants to merge 8 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom Alidra:emacs/delOutdatedFilesAlidra/lambdapi:emacs/delOutdatedFilesCopy head branch name to clipboard

+13-18

Commits

Commits on Jan 31, 2025

• remove lambdapi-mode-pkg.el and add rule to generate it

  Alidra

  committed
  f882e25

  Copy full SHA for f882e25

• emacs : Makefile fixed

  Alidra

  committed
  7610a2b

  Copy full SHA for 7610a2b

• emacs : refactor Makefile to read package name and version form lambdapi-mode.el file

  Alidra

  committed
  623cee0

  Copy full SHA for 623cee0

• emacs : remove unsed variable in Makefile and strenghten grep condition

  Alidra

  committed
  618f2ee

  Copy full SHA for 618f2ee

Commits on Feb 3, 2025

• emacs: some simplificatons of the Makefie

  Alidra

  committed
  498a762

  Copy full SHA for 498a762

• Move installation instructions from Makefile to README

  Alidra

  committed
  b00622b

  Copy full SHA for b00622b

Commits on Feb 5, 2025

• emacs : simplify Makefile and add lambdapi-mode-pkg.el to cleaned files

  Alidra

  committed
  9ebd286

  Copy full SHA for 9ebd286

• Emacs : More simplifications of the Makefile

  Alidra

  committed
  93d949e

  Copy full SHA for 93d949e