coq/dev/include_printers, branch master The formal proof system Register a printer for fconstr substitutions in the kernel. 2020-12-28T21:24:13+00:00 Pierre-Marie Pédrot 2020-12-28T21:02:22+00:00 ad8c2b7dab1b0759d1c304350523d6d2cc9c7b24 






Adding debugging printers for Intmap.
2020-09-18T17:32:56+00:00

Hugo Herbelin

2020-09-18T17:32:56+00:00

17aa50c3cdf3766cdba76ea9d82c9aaa506eaa34












Move the cbn reduction to its own file, and simplify the RAKAM accordingly.
2020-06-04T10:44:45+00:00

Pierre-Marie Pédrot

2020-02-11T21:07:31+00:00

7a8c4003ef5071d6b9bc248e997d0397304e8491












Add aucontext debug printer
2019-05-14T12:10:09+00:00

Gaëtan Gilbert

2019-05-14T12:10:09+00:00

367df34f8a7ee619c0eb1c40cfa9d2bb432027ec












[dev] Add include versions for Dune builds.
2019-02-18T17:15:44+00:00

Emilio Jesus Gallego Arias

2019-02-12T03:32:47+00:00

fad095ccc656c5fccc5e50b36067deabde233bb3

Fixes #9537

This way, users can do:
```
dune exec coqtop.byte
> Drop.
 # #directory "dev";;
 # #use "include_dune";;
```





Fixes #9537

This way, users can do:
```
dune exec coqtop.byte
> Drop.
 # #directory "dev";;
 # #use "include_dune";;
```