diff options
| author | Thomas Kleymann | 1998-03-25 17:30:41 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-03-25 17:30:41 +0000 |
| commit | b0a4527aa4bc4c7aed21964bdae0338200575b1b (patch) | |
| tree | 332feb9983b85a67aa01e9f624e6c9b35d245e0d /todo | |
| parent | 58a9db45bc8292953cff1be66eb6ed9c5463c756 (diff) | |
added support for etags at generic proof level
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions