summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2022-08-07Fixes bugs with flycheck/eldoc interactionsHEADmainThomas Letan
2022-08-07Centered window with 'sublimity'Thomas Letan
2022-08-07Switch to a “popup” setup based on quick-peekThomas Letan
2022-08-06Tweak flycheck configThomas Letan
2022-08-06Provide macros to deal with themesThomas Letan
2022-07-31Complete gitignoreThomas Letan
2022-07-31Make a macro to easily select themesThomas Letan
2022-07-31Add a section commentThomas Letan
2022-07-31Overhaul of the OCaml setupThomas Letan
2022-07-31Revive Coq config from previous setupThomas Letan
2022-07-31Disable native-comp warningsThomas Letan
2022-07-31Shortcut to zoom and de-zoom in EmacsThomas Letan
2022-07-31Add a reminder on how to inspect Emacs startup time with use-packageThomas Letan
2022-07-31Spellcheck the comment is importantThomas Letan
2022-07-31Tweak company-mode and company-boxThomas Letan
2022-07-31Start using a modified flycheck-popup-tipThomas Letan
2022-07-31Tweak at eldoc configThomas Letan
2022-07-31No more custom margin for nowThomas Letan
2022-07-31Tweak to doom modelineThomas Letan
2022-07-31Set the default font from EmacsThomas Letan
2022-07-31Small tweaks to the org setupThomas Letan
2022-07-31Smartparens is buggy with OCamlThomas Letan
2022-02-10Fix ligaturesThomas Letan
2022-02-08Fix Stacked Git keystrokes not being local to its buffersThomas Letan
2022-02-07Try to be more resilient to errors in our org workflowThomas Letan
2022-02-06Refine the org-mode config to move tasks around more easilyThomas Letan
2022-02-06Move items around in Org modeThomas Letan
2022-02-06Organize my life in plain-text, maybeThomas Letan
2022-02-05Move more stuff in a dedicated file and improve commentsThomas Letan
2022-02-05Bootstrap a new configurationThomas Letan
2022-02-05Initial commitThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-25 00:49:34 +0000