diff options
author | 2015-09-14 16:40:28 +0200 | |
---|---|---|
committer | 2015-09-20 15:20:32 +0200 | |
commit | f4584f8a332c9077844e227c8b86d3cb1daf8b12 (patch) | |
tree | 8f09f14d3a3273ccdbd7ec86146b70bce5623278 /ide/wg_ProofView.ml | |
parent | 481d2b681463d2758fec6b2417631491be69f216 (diff) |
Adding rich printing primitives.
Diffstat (limited to 'ide/wg_ProofView.ml')
0 files changed, 0 insertions, 0 deletions