diff options
author | 2001-12-27 15:55:45 +0000 | |
---|---|---|
committer | 2001-12-27 15:55:45 +0000 | |
commit | d4950c124d4fdd3f215da8ef997dde46d324363a (patch) | |
tree | 1b751807bafe191aab31f9c77abcf9af7671c370 /isa | |
parent | 974a08a2f827bd440acfa6b1668e40dca242843a (diff) |
updated;
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 version: 99-1, 99-2 +Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2001 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ ======================================== |