diff options
| author | Arnaud Spiwack | 2015-03-24 15:52:15 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-03-31 11:28:18 +0200 |
| commit | 721e4b7bf963fa6541ecf66bb3643f7388dca896 (patch) | |
| tree | b392566f45a29df3cdcea930db67851527758e4e /plugins | |
| parent | 82abccdc576e3eff3adb617e90fc9c4ececae329 (diff) | |
Better formatting of messages in proofs.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions