Erik Martin-Dorel

FYI @AltGr I'm reworking this PR (sorry for the delay) to better document how-to download the static build artifacts from any learn-ocaml commit. If you don't object, I will integrate...

Thank you @Rui00Barata! this is a very welcome feature!, typically in summative evaluations. At first sight, the PR will need to be generalized, e.g. to support both multiple-choice and unique-choice...

FYI I've just amended my first commit to add another useful prefix…

Hi @jcs090218 ! what's your opinion on this PR? it should be an easy one. Kind regards.

Thank you for your time and for the merge! :)

Hi @ema2159 ! would you have a clue of how to fix this bug? FWIW, the centaur-tabs-line-format code is as follows: ```elisp (defun centaur-tabs-line-format (tabset) "Return the `centaur-tabs-display-line-format' value to...

Hi @ema2159 ! - just a friendly ping ^^

FYI I can't reproduce the issue anymore (@jcs090218 I believe you fixed it along the way) so closing the issue now, thanks!

Dear @ema2159, OK, thanks a lot for your message! (and sorry for not replying earlier… end-January has been quite busy on my side). FYI, I posted the maintenance call at...

*For completeness, here is the call text:* --- As an emacs *and* spacemacs-theme user, I strongly rely on the [`centaur-tabs`](https://github.com/ema2159/centaur-tabs) mode, which is [a building block](https://github.com/syl20bnr/spacemacs/blob/develop/layers/+emacs/tabs/funcs.el) of spacemacs. [](https://github.com/ema2159/centaur-tabs#readme) It...