diff options
| -rw-r--r-- | INSTALL.win | 6 | ||||
| -rwxr-xr-x | configure | 2 | ||||
| -rw-r--r-- | library/library.ml | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/INSTALL.win b/INSTALL.win index f2cddb8a07..a6ed9706c5 100644 --- a/INSTALL.win +++ b/INSTALL.win @@ -1,6 +1,6 @@ -***************************************************************** -* INSTALLATION PROCEDURE FOR THE COQ V8 SYSTEM UNDER WINDOWS OS * -***************************************************************** +************************************************************** +* INSTALLATION PROCEDURE FOR THE COQ SYSTEM UNDER WINDOWS OS * +************************************************************** The binary distribution consists in a .zip archive file. This .zip contains long filenames and cannot therefore be unpacked with pkunzip version 2. Use @@ -7,7 +7,7 @@ ################################## VERSION=trunk -DATE="Aug 2006" +DATE="Nov. 2006" # a local which command for sh which () { diff --git a/library/library.ml b/library/library.ml index 2412f67a19..5cd69bc02d 100644 --- a/library/library.ml +++ b/library/library.ml @@ -300,7 +300,7 @@ let (in_import, out_import) = (*s Loading from disk to cache (preparation phase) *) -let vo_magic_number = 08099 (* V8.1 beta *) +let vo_magic_number = 08190 (* trunk *) let (raw_extern_library, raw_intern_library) = System.raw_extern_intern vo_magic_number ".vo" |