From 04afe32a99fd8529534359b94d4998d75096a052 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 3 Sep 2001 10:39:13 +0000
Subject: Move specific install instructions into subdirs

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index e8aee607..719e46a8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -22,7 +22,7 @@ the assistants below:
   .l	    LEGO files
   .thy      Isabelle files
   .ML       Isabelle files
-  .af2	    AF2 files
+  .phx	    PhoX files
   .sml	    HOL98 files
   .elf	    Twelf files
   .acl2	    ACL2 files
-- 
cgit v1.2.3