Browse files

updated, improved

  • Loading branch information...
1 parent 6d00d1a commit f195036f8379c85053990f2378c548c5f675bdca Tjark Weber committed Feb 5, 2009
Showing with 2 additions and 3 deletions.
  1. +2 −3 bin/README
@@ -1,3 +1,2 @@
-This is the "bin" directory for Hol98. This file is mainly here so that
-the directory is not empty.
+This is the "bin" directory for HOL. A collection of executable files (hol,
+Holmake, etc.) will be placed here when you build HOL.

0 comments on commit f195036

Please sign in to comment.