coq/dev/checker_dune_db, branch master The formal proof system Remove checker printers 2018-11-08T14:01:24+00:00 Gaëtan Gilbert 2018-11-08T14:01:24+00:00 a7522a0ea76a6efaed9342d08a95363b56d88d32 Now that the checker is using the regular kernel files it can also use the normal printers. 
Now that the checker is using the regular kernel files it can also use
the normal printers.
[dune] Compile debug and checker printers. 2018-10-22T23:17:24+00:00 Emilio Jesus Gallego Arias 2018-10-16T13:17:31+00:00 f8881bcc694644700e20f475b0a36ec740b2547d As noted by Gäetan, we didn't compile these. We also provide a recipe to run `ocamldebug`. Try (after a build): ``` dune exec dev/dune-dbg (ocd) source dune_db ``` or ``` dune exec dev/dune-dbg checker (ocd) source checker_dune_db ``` for the checker. 
As noted by Gäetan, we didn't compile these. We also provide a recipe
to run `ocamldebug`. Try (after a build):

```
dune exec dev/dune-dbg
(ocd) source dune_db
```

or

```
dune exec dev/dune-dbg checker
(ocd) source checker_dune_db
```

for the checker.