diff options
| author | Arnaud Spiwack | 2015-03-16 17:56:48 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-03-31 11:28:18 +0200 |
| commit | a615382472ee21e288bd7115be147415e465e897 (patch) | |
| tree | 3e99743f7dda14ce49c51bae8da510fbce5878e2 /plugins/syntax | |
| parent | 721e4b7bf963fa6541ecf66bb3643f7388dca896 (diff) | |
Declarative mode: plug the specialised printers back.
It will not work in CoqIDE though, which handles printing its own way. It's a general remark that we have many ways of printing things in Coq and we should look for a unified structured framework to be shared between interfaces.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions