diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index c605072515..69d8f680f2 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -52,31 +52,21 @@ let init () = let i = ref 0 -let get_version_date () = - let date = - if Glib.Utf8.validate Coq_config.date - then Coq_config.date - else "<date not printable>" in - try - let ch = open_in (Coq_config.coqsrc^"/revision") in - let ver = input_line ch in - let rev = input_line ch in - (ver,rev) - with _ -> (Coq_config.version,date) - let short_version () = - let (ver,date) = get_version_date () in - Printf.sprintf "The Coq Proof Assistant, version %s (%s)\n" ver date + let revision = + if Glib.Utf8.validate Revision.revision + then Revision.revision + else "<date not printable>" in + Printf.sprintf "The Coq Proof Assistant, version %s (%s)\n" Revision.version revision let version () = - let (ver,date) = get_version_date () in Printf.sprintf "The Coq Proof Assistant, version %s (%s)\ \nArchitecture %s running %s operating system\ \nGtk version is %s\ \nThis is the %s version (%s is the best one for this architecture and OS)\ \n" - ver date + Revision.version Revision.revision Coq_config.arch Sys.os_type (let x,y,z = GMain.Main.version in Printf.sprintf "%d.%d.%d" x y z) (if Mltop.is_native then "native" else "bytecode") |