diff --git a/js/semantics/README b/js/semantics/README
index c71123a432b..e69de29bb2d 100644
--- a/js/semantics/README
+++ b/js/semantics/README
@@ -1,10 +0,0 @@
-js/semantics contains experimental code used to generate LR(1) and LALR(1)
-grammars for JavaScript as well as compile and check formal semantics for
-JavaScript.  The semantics can be executed directly or printed into either
-HTML or Microsoft Word RTF formats.
-
-This code is written in standard Common Lisp.  It's been used under Macintosh
-Common Lisp 4.0, but should also work under other Common Lisp implementations.
-
-Contact Waldemar Horwat (waldemar@netscape.com or waldemar@acm.org) for
-more information.
diff --git a/js2/semantics/README b/js2/semantics/README
index c71123a432b..66a96131f58 100644
--- a/js2/semantics/README
+++ b/js2/semantics/README
@@ -4,7 +4,8 @@ JavaScript.  The semantics can be executed directly or printed into either
 HTML or Microsoft Word RTF formats.
 
 This code is written in standard Common Lisp.  It's been used under Macintosh
-Common Lisp 4.0, but should also work under other Common Lisp implementations.
+Common Lisp 4.0, and Allegro Common Lisp 5.0.1 for Windows, but should also work
+under other Common Lisp implementations.
 
 Contact Waldemar Horwat (waldemar@netscape.com or waldemar@acm.org) for
 more information.