Shakthi Kannan

Thanks for the code snippet. I tried the above and I am able to now see a clickable pointer to the lines containing files, although I still need to look...

I tried evaluating the above, but, I still see the control characters in the output. ``` ^[[2K^[[0G 2) "after all" hook ^[[2K^[[0G a\234\223 should return the expected output ``` Could...

In hook.lua, when the local variable "name" is assigned the full path of the Lua plugin prefixed by "@", the coverage statistics get generated. Bascially, the following is used to...

I am using GNU Emacs 26.3 with opam (2.0.5), utop (2.4.3), merlin (3.3.3), merlin-eldoc and tuareg (2.1.0-1), and I am getting the following error with C-x C-e, as mentioned: ```...

Thank you @ejgallego. Would it be possible to provide a tagged release such as https://github.com/ejgallego/coq/archive/multicore-t01.zip for our testing, or do you recommend that we pin and use the branch?

Thanks for the detailed steps. I was able to follow the above instructions and compile axiom. The gs-gpl and x-dev packages were not found though. Also, I installed libreadline-gplv2-dev instead...

Please commit the unit tests. Will create a separate task for viewing test coverage report.

The `colour-logo.svg` files have been committed to the repo. Commit: https://github.com/ocaml-web/html-compiler-manuals/commit/52292ac6aadfef307711b2283b9eafdbc62a0d00

The `colour-logo.svg` was showing as a folder for 4.13, and the same has been replaced with the actual file. Commit: https://github.com/ocaml-web/html-compiler-manuals/commit/9cb91b6dda45f023c077358f9c43b3cbccf9e61a

The HTML manual documentation generated for 5.3.0 has been deployed for evaluation at https://shakthimaan.github.io/5.3.0/. (Eventually, we will replace shakthimaan.github.io with ocaml.org.) > I am not sure how this change would...