Code

2. Milestone: Internal Cleanup#87

Code

Merged

mekeor merged 16 commits intomasterleanprover-community/lean4-mode:masterfrom milestone-02-internal-cleanupleanprover-community/lean4-mode:milestone-02-internal-cleanupCopy head branch name to clipboardDec 1, 2024

+497-362

Commits

Commits on Nov 30, 2024

• README: Add chapter "Contributing" about copyright notices

  Show description for 38235ba
  mekeor

  committed
  38235ba

  Copy full SHA for 38235ba

• README: Use package-selected-packages; separate flycheck; etc

  Show description for 3fada7b
  mekeor

  committed
  3fada7b

  Copy full SHA for 3fada7b

• Add directory local definition of bug-reference-url-format

  Show description for 8dadc0e
  mekeor

  committed
  8dadc0e

  Copy full SHA for 8dadc0e

Commits on Dec 1, 2024

• In lean4 customization group, link to info manual and Lean4-Mode URL

  mekeor

  committed
  0e0775c

  Copy full SHA for 0e0775c

• In auto-mode-alist, use \' (end of buffer or string) instead of $

  Show description for a15876a
  mekeor

  committed
  a15876a

  Copy full SHA for a15876a

• Depend on Compat 28 and use file-name-concat in lean4-util.el

  Show description for 99876e2
  

  mekeor

  and

  akirak

  committed
  99876e2

  Copy full SHA for 99876e2

• Do not depend on Flycheck

  Show description for f5bee66
  mekeor

  committed
  f5bee66

  Copy full SHA for f5bee66

• Rework file and library headers; add missing copyright notice

  Show description for 6d2f477
  mekeor

  committed
  6d2f477

  Copy full SHA for 6d2f477

• README: Link to Lean and Emacs website in first paragraph

  mekeor

  committed
  3fe53f2

  Copy full SHA for 3fe53f2

• Fit docstring into fill-column

  mekeor

  committed
  39a820c

  Copy full SHA for 39a820c

• Mention correct JSON file in docstring

  mekeor

  committed
  f244172

  Copy full SHA for f244172

• Reformat some docstrings

  Show description for a9cae38
  mekeor

  committed
  a9cae38

  Copy full SHA for a9cae38

• Use derived-mode-p instead of (eq major-mode ...)

  Show description for ccf597d
  mekeor

  committed
  ccf597d

  Copy full SHA for ccf597d

• Explicitely define lean4-mode-hook

  Show description for 78caece
  mekeor

  committed
  78caece

  Copy full SHA for 78caece

• Correct URL to Lean4-Mode's Git repository

  mekeor

  committed
  3d7a86c

  Copy full SHA for 3d7a86c

• Release version 1.1.0

  mekeor

  committed
  a4a47bb

  Copy full SHA for a4a47bb