diff options
| author | Makarius Wenzel | 2001-01-18 19:56:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-01-18 19:56:48 +0000 |
| commit | 2d3c8e6e3975d929a097307b909523d066fcdc36 (patch) | |
| tree | e2aa1b4f451f058d44770a5a6e89d55d43f0e6fa /FAQ | |
| parent | de92628f356fabdc5c1d59d85e0891b5f8969273 (diff) | |
proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions