Browse files

updated, improved

  • Loading branch information...
Tjark Weber Tjark Weber
Tjark Weber authored and Tjark Weber committed Feb 1, 2009
1 parent ee474f2 commit 8f9736ff50d33f7b7002b39858ce8921f29ab186
Showing with 2 additions and 2 deletions.
  1. +2 −2 sigobj/README
@@ -1,2 +1,2 @@
-This is the "sigobj" directory for Hol98. This file is mainly here so that
-the directory is not empty.
+This is the "sigobj" directory for HOL. A collection of all signatures
+and compiled code will be placed here when you build HOL.

0 comments on commit 8f9736f

Please sign in to comment.