TakeV/spacemacs
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

[bot] "documentation_updates" Sat Dec 4 16:11:00 UTC 2021 (#15196)

Browse source
This commit is contained in:
SpacemacsBot 2021-12-04 18:28:49 +02:00 committed by GitHub
parent ab19ea1de5
commit a86cdd3506
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
layers/LAYERS.org
View file

@ -1498,7 +1498,7 @@ This layer adds support for the [[https://coq.inria.fr/][Coq]] proof assistant (
Features:
- Syntax highlighting
- Syntax-checking
- Auto-completion
- Auto-completion (requires the [[https://develop.spacemacs.org/layers/+completion/auto-completion/README.html][auto-completion layer]] to be installed)
- Debugging of mathematical proofs from within Emacs using a special proof layout
- Replacement of certain constants with the correct mathematical signs
- Inserting of certain preconfigured proof elements