diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 21:01:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 21:01:37 +0000 |
| commit | d7a93cb1371f8a74b2fb7f70a5de6c4492657e0a (patch) | |
| tree | a09c91d3bcc0eff3fedccf82b484b8586f7f9cb7 /isa | |
| parent | 458a12c6fabefb28ca1556156ea4354756ce4774 (diff) | |
Set supported versions of Isabelle (remove 99, 2002 versions).
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ Markus Wenzel and David von Oheimb. Status: supported Maintainer: David Aspinall -Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2002 +Isabelle versions: Isabelle2003, Isabelle2004 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ ==================================================================== |