diff options
| author | Pierre-Marie Pédrot | 2014-01-16 08:03:22 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-01-16 09:45:56 +0100 |
| commit | da81f0c7f1de8ce438189a1d2b86a890bc4138df (patch) | |
| tree | 39da57eb0b96bd880270905ae359a335207c41ee /printing/printer.ml | |
| parent | 082b9f2efb4a775caa2b49dafc1dfcfd09cf9948 (diff) | |
Implementing transitive reduction in the dependency graph printing
mechanism of coqdep.
Diffstat (limited to 'printing/printer.ml')
0 files changed, 0 insertions, 0 deletions