diff options
| author | David Aspinall | 2006-12-11 22:34:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-12-11 22:34:39 +0000 |
| commit | 176b575ceb4f07d4a4384682cb762b4f88dd3f84 (patch) | |
| tree | d27a662af3bebe3ac4d2b857b3c6e39c3b416041 /generic | |
| parent | bdbbe3e8716f313a5beaacd5cdd3e9d41528b9c4 (diff) | |
Update, note about Isabelle 2004
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions