summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
8 daysDisable org-adapt-indentation featureHEADmasterThomas Letan
8 daysReplace an obscure arithmetic expression with -1Thomas Letan
2020-06-11Use flycheck with merlin, change tooltip packageThomas Letan
2020-06-11Add a binding to go to the next errorThomas Letan
2020-06-11Clean-up unused themeThomas Letan
2020-06-11Improve OCaml supportThomas Letan
2020-06-11Make the SPC menu more availableThomas Letan
2020-06-11Bring back TLS 1.3Thomas Letan
2020-06-11Add flycheck-popup-tip modeThomas Letan
2020-06-11Remove highlight-indent-guides-modeThomas Letan
2020-06-11Remove useless key bindingThomas Letan
2020-06-11Improve hydra menusThomas Letan
2020-06-11Cycle tabs using C-tabThomas Letan
2020-06-11Do not use `progn` in `:config` directives (use-package)Thomas Letan
2020-05-05feature: Do not assume the current opam switchThomas Letan
2020-02-25Do not render links in org-mode, show it as-isThomas Letan
2020-02-13chore: Perform a minor coding style tweakThomas Letan
2020-02-13refactor: Load PG lazily, only disable company-coq features onceThomas Letan
2020-02-13fix: Enable ligatures more consistentlyThomas Letan
2020-02-13fix: Enable line breaks in cargo-mode buffersThomas Letan
2020-02-13feature: Add a minimal configuration for org-modeThomas Letan
2020-02-13feature: Add a minimal support for HaskellThomas Letan
2020-02-13fix: Correctly set the company-coq packageThomas Letan
2020-02-13refactor: Trying to defer as much loading as possibleThomas Letan
2020-02-13fix: Lazy loading of themesThomas Letan
2020-02-13fix: Cleaner theme switchingThomas Letan
2020-02-07refactor: Use ivy in place of helmThomas Letan
2020-02-03refactor: Use the all-the-icons package for more fancy tabsThomas Letan
2020-02-01themes: Make the choice of a theme persistent across Emacs rebootThomas Letan
2020-01-31chore: Remove unused file fira-code-modeThomas Letan
2020-01-31refactor: Move centaur-tabs configurationThomas Letan
2020-01-31chore: Never use a dialogue boxThomas Letan
2020-01-31font: Use the new compositor mode of emacs 27Thomas Letan
2020-01-31ocaml: Use MerlinThomas Letan
2019-09-27Commit another bunch of unrelated changesThomas Letan
2019-09-27Improve Coq-related configurationThomas Letan
2019-09-27Fix dynamic themes loadingThomas Letan
2019-09-27Load quicklisp Slime helperThomas Letan
2019-09-27Do not use particular font modification for TeX scriptsThomas Letan
2019-09-27We use UTF-8Thomas Letan
2019-09-27Tweak a bit fira-code-mode related configurationThomas Letan
2019-09-27Better handling of Coq binaries pathsThomas Letan
2019-09-27Better handling of highlight-indent-guides with whitespace-modeThomas Letan
2019-09-27Use the centaur-tabs package to have a nice bar of tabsThomas Letan
2019-08-29modes: Use whitespace in text-mode and highlight-indent in TeX-modeThomas Letan
2019-08-29fix: [fira-code-mode--make-alist] correctly handles [nil] nowThomas Letan
2019-08-29feature: Display fancy ligatures using Fira Code SymbolThomas Letan
2019-08-29fix: Make sure diff-hl gutter is refresh after magit commitThomas Letan
2019-08-20new: Add a minimal support for common lisp (using slime+sbcl)Thomas Letan
2019-08-02themes: Expose nofrils-darkless rather than nordless+Thomas Letan