awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-14 15:46:56 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
888d456dc9e9ae852377eb1dbd4a9cfaa8ee9a94
doomemacs/modules/lang
History
Henrik Lissner 8a5ffc32f5 Bump to ProofGeneral/PG@2a17093 
From ProofGeneral/PG@89829c2

Also removes pg-init hacks, as they no longer seem necessary after
ProofGeneral/PG@7371521

Hopefully fixes #2565
2020-02-20 16:55:19 -05:00
..
agda
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
assembly
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
cc
Bump ccls & {,ivy-,helm-}rtags
2020-02-11 17:47:49 -05:00
clojure
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
common-lisp
lang/common-lisp: add *sly-description* popup rule
2020-02-02 02:02:50 -05:00
coq
Bump to ProofGeneral/PG@2a17093
2020-02-20 16:55:19 -05:00
crystal
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
csharp
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
data
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
elixir
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
elm
Add +lsp flag to lang/elm
2020-01-31 16:18:16 -05:00
emacs-lisp
The byte-compiler ate my baby
2020-02-06 16:55:27 -05:00
erlang
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
ess
Bind C-RET -> ess-eval-line in normal mode
2020-02-08 18:13:00 -05:00
factor
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
faust
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
fsharp
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
fstar
Remove redundant title
2020-02-07 16:23:31 -05:00
go
Merge tb prefix into t prefix
2020-02-09 17:00:28 -05:00
haskell
Bump haskell-mode, dante & intero
2020-02-06 17:17:05 -05:00
hy
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
idris
Refactor +lookup/file & update :file handlers
2020-02-06 16:55:28 -05:00
java
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
javascript
Fix #2567: unbound js2-refactor keybinds
2020-02-19 23:41:39 -05:00
julia
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
kotlin
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
latex
Pronunciation in a comment
2020-02-10 10:14:42 +02:00
lean
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
ledger
Fix indentation
2020-02-09 14:55:44 -05:00
lua
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
markdown
Refactor +lookup/file & update :file handlers
2020-02-06 16:55:28 -05:00
nim
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
nix
Resolve major mode for (cached)-nix-shell scripts
2020-02-08 07:14:54 -05:00
ocaml
doom refresh -> doom sync
2020-02-19 23:34:16 -05:00
org
Fix inline previews for "download:%s" org links #2539
2020-02-19 18:21:24 -05:00
perl
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
php
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
plantuml
General refactor & reformatting across the board
2020-02-18 22:56:47 -05:00
purescript
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
python
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
qt
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
racket
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
rest
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
rst
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
ruby
ruby-insert-encoding-magic-comment = nil
2020-02-20 15:25:38 -05:00
rust
Enable rustic-clippy checker in LSP's absence
2020-02-06 15:20:42 -05:00
scala
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
scheme
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
sh
Move lsp! to sh-mode-local-vars-hook
2020-02-10 02:39:26 -05:00
solidity
Improve solidity layer
2020-01-29 23:59:45 +09:00
swift
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
terra
Fix #2373: bring back package pinning
2020-01-25 19:02:00 -05:00
web
Fix commenting JS in web-mode
2020-02-19 19:03:46 -05:00