diff options
author | 2002-07-18 09:40:50 +0000 | |
---|---|---|
committer | 2002-07-18 09:40:50 +0000 | |
commit | ba22414d7b3643b3f67c28ce13878700f19745de (patch) | |
tree | 3b087d25f957481c478ce5cb30140294a6aee485 /images/isabelle_transparent.gif | |
parent | 02442847f17c1767d5a34059b5bc8f09215a6b4a (diff) |
Update magic, move version history to appendix.
Diffstat (limited to 'images/isabelle_transparent.gif')
0 files changed, 0 insertions, 0 deletions