diff options
| author | David Aspinall | 2009-05-26 08:51:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 08:51:01 +0000 |
| commit | 55bd3b09d206be741bcaaa8585b5904d129de8b2 (patch) | |
| tree | e68829cb7fc9cf041bf7f82122f8e4df5d107fc2 /generic | |
| parent | 7c6a1763c8b56ccf5a98b229e5ca992f4daa0973 (diff) | |
Rename isatool -> isabelle
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions