e6d54e9ab444bf01f269e175ec42e3466282276c - third_party/github.com/leanprover/lean4 - Git at Google

commit: e6d54e9ab444bf01f269e175ec42e3466282276c

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Fri Sep 07 10:04:26 2018 -0700
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Sep 07 10:04:26 2018 -0700
tree: e4c8829964fdd64ee4ef255ea9786dcb4823ca93
parent: f2e939f4d56a185528fd9c5bfa4603167980af4c [diff]

chore(lean4-mode): rename files

lean4-mode/lean4-debug.el[Renamed from lean4-mode/lean-debug.el - diff]
lean4-mode/lean4-dev.el[Renamed from lean4-mode/lean-dev.el - diff]
lean4-mode/lean4-eri.el[Renamed from lean4-mode/lean-eri.el - diff]
lean4-mode/lean4-flycheck.el[Renamed from lean4-mode/lean-flycheck.el - diff]
lean4-mode/lean4-hole.el[Renamed from lean4-mode/lean-hole.el - diff]
lean4-mode/lean4-info.el[Renamed from lean4-mode/lean-info.el - diff]
lean4-mode/lean4-input.el[Renamed from lean4-mode/lean-input.el - diff]
lean4-mode/lean4-leanpkg.el[Renamed from lean4-mode/lean-leanpkg.el - diff]
lean4-mode/lean4-mode.el[Renamed from lean4-mode/lean-mode.el - diff]
lean4-mode/lean4-right-click.el[Renamed from lean4-mode/lean-right-click.el - diff]
lean4-mode/lean4-settings.el[Renamed from lean4-mode/lean-settings.el - diff]
lean4-mode/lean4-syntax.el[Renamed from lean4-mode/lean-syntax.el - diff]
lean4-mode/lean4-type.el[Renamed from lean4-mode/lean-type.el - diff]
lean4-mode/lean4-util.el[Renamed from lean4-mode/lean-util.el - diff]

14 files changed

tree: e4c8829964fdd64ee4ef255ea9786dcb4823ca93

README.md

About

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.

Miscellaneous

Building Doxygen Documentation: doxygen src/Doxyfile
Coding Style
Library Style Conventions
Git Commit Conventions
Automatic Builds
Syntax Highlight Lean Code in LaTeX
Exporting, and reference type-checkers

Roadmap