diff options
| author | David Aspinall | 1998-10-08 12:34:45 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-08 12:34:45 +0000 |
| commit | cb33b5eaf67be86bc9774913160fbf2f2690c10f (patch) | |
| tree | bf7f2b910edabf5748fe6f106887c4ec9ad657a5 /html | |
| parent | e14a1664699ef527926e093908739f5fa992e48a (diff) | |
Removed check distribution item. Added Isabelle fix.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions