diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-04-12 16:13:08 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-04-12 16:13:08 +0000 |
| commit | 145ad94fc96a4989c24061de7a90b7520d530932 (patch) | |
| tree | f3a8882c9da47fddbbd61c22ef01f42fefae5f67 /toplevel | |
| parent | 63ffd17f771d0f4c8c7f9b1ada9faa04253f05aa (diff) | |
Document the new setoid rewrite tactic, and fix a few things while
testing:
- better? pretty printing
- correct handling of load/open/cache
- do less reduction in build_signature, commited in previous patch. May
break some scripts (but Parametric will break more and before :).
- remove ===def notation as suggested by A. Spiwack.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10783 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel')
0 files changed, 0 insertions, 0 deletions