summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-05-05feature: Do not assume the current opam switchHEADmasterThomas 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
2019-08-02magit: Enable the `refine' mode of magitThomas Letan
2019-08-02package: Install rainbow-mode so we can use when colors are involvedThomas Letan
2019-08-02menu: Remove an old key from main menu that has been moved elsewhereThomas Letan
2019-07-30coq: Declare a variable for the opam switch to useThomas Letan
2019-07-29refactor: Simplify themes requirementsThomas Letan
2019-07-29hydra: Simplify the menu to keep only what I _really_ useThomas Letan
2019-07-29hydra: Provide a smaller, more focus magit menuThomas Letan
2019-07-28add: Use tuareg as Ocaml major modeThomas Letan
2019-07-28fix: Company configuration moved to :configThomas Letan
2019-07-28chore: Do not indent the line before RETThomas Letan
2019-07-24package: Require package-lint to work with melpaThomas Letan
2019-07-24themes: Require all colorless themesThomas Letan
2019-07-17feature: Add a shortcut in hydra-main to start MagitThomas Letan
2019-07-17fix: LaTeX major mode hydra panelThomas Letan