diff options
author | 2004-04-14 21:01:37 +0000 | |
---|---|---|
committer | 2004-04-14 21:01:37 +0000 | |
commit | d7a93cb1371f8a74b2fb7f70a5de6c4492657e0a (patch) | |
tree | a09c91d3bcc0eff3fedccf82b484b8586f7f9cb7 /README.exper | |
parent | 458a12c6fabefb28ca1556156ea4354756ce4774 (diff) |
Set supported versions of Isabelle (remove 99, 2002 versions).
Diffstat (limited to 'README.exper')
0 files changed, 0 insertions, 0 deletions