diff options
| author | David Aspinall | 2000-10-02 19:11:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-10-02 19:11:49 +0000 |
| commit | 01c80c233e2a27210e3854d2183e464d5e4589c0 (patch) | |
| tree | 2c3abe864920ba40c8373dd499c23e4968880683 /ChangeLog | |
| parent | d1fa58fc265861fc107cd872e2cc1d7046508693 (diff) | |
Mention Isabelle99-1 change
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions