Ali Caglayan
Ali Caglayan
In [Getting Started](https://erratique.ch/software/cmdliner/doc/tutorial.html) there is a typo. This ```ocaml let cmd = Cmd.v (Cmd.info "revolt") revolt_t ``` should probably be this: ```ocaml let revolt_cmd = Cmd.v (Cmd.info "revolt") revolt_t ```
Isabelle is able to check on editor scroll, including not checking the proofs that are not in view. - in #717, we have implemented support for checking document only to...
This is a continuation of #5967. The difference here is that the extra variables have been removed in a following commit. We now only expose: Coq configuration variables: ```ocaml %{coq:coqlib}...
We stop declaring .aux files as targets in the coqc rules. .aux files are simply a "cache" recording a runtime estimation for the STM (the thing that let's Coq process...
We add an interface for the configuration values of Coq. This is important as it allows us to have version specific code. As a secondary we can expose it to...
We add the dependencies on plugins using the ones declared in the dune file. Currently we require the user to add their ml libraries in the plugins field of the...
In my workflow I have dune building in the background with a watch. If I do a dune clean it crashes badly. ## Expected Behavior For dune clean to work,...
When using `dune fmt` with `--disable-promotion` passed, you would expect that no promotion is performed. However this is not the case. Dune version: 3.3.0