diff options
| author | Makarius Wenzel | 2005-09-01 14:18:06 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-01 14:18:06 +0000 |
| commit | 93db85e34dae8006d1a0c6e5c5eea54d5ff2f12c (patch) | |
| tree | a8a20ec07c61477fe7498c6c38f0da72e93d5e0f /generic/proof-script.el | |
| parent | 1702b15d4aa280923592c749361f5344afb8ad68 (diff) | |
eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subterm-markup;
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions