diff options
| author | Regis-Gianas | 2014-11-04 21:51:25 +0100 |
|---|---|---|
| committer | Regis-Gianas | 2014-11-04 22:51:36 +0100 |
| commit | fa6d5dd5efed2fe1f732d61eac126e39fef38305 (patch) | |
| tree | 8e8d8b8e3655d238a871ba5d667428dfdc343f26 /kernel | |
| parent | af0325ee57fad526be8f3afab5335faaf82cb0c8 (diff) | |
printing/Pptacticsig: New signature for tactic pretty-printers.
printing/Pptactic: Use it.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions