summaryrefslogtreecommitdiff
path: root/ide/coqide.ml
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2011-04-19 16:47:51 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2011-04-19 16:47:51 +0200
commitaa33547c764a229e22d323ca213d46ea221b903e (patch)
tree3894cb190f34bc1d2deee4322a674db641562ee0 /ide/coqide.ml
parent50dc9067e98ca001ad2e875011abab5da6fdb621 (diff)
parent9d27ae09786866b6e3d7b79d1fa7667e5e2aa309 (diff)
Remove non-DFSG contentsupstream/8.3.pl2+dfsg
Diffstat (limited to 'ide/coqide.ml')
-rw-r--r--ide/coqide.ml20
1 files changed, 10 insertions, 10 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml
index fdf33c39..ce4f0666 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -6,7 +6,7 @@
(* * GNU Lesser General Public License Version 2.1 *)
(************************************************************************)
-(* $Id: coqide.ml 13708 2010-12-13 14:49:29Z gmelquio $ *)
+(* $Id: coqide.ml 13751 2010-12-24 09:56:05Z letouzey $ *)
open Preferences
open Vernacexpr
@@ -200,7 +200,7 @@ let signals_to_crash = [Sys.sigabrt; Sys.sigalrm; Sys.sigfpe; Sys.sighup;
let crash_save i =
(* ignore (Unix.sigprocmask Unix.SIG_BLOCK signals_to_crash);*)
- Pervasives.prerr_endline "Trying to save all buffers in .crashcoqide files";
+ safe_prerr_endline "Trying to save all buffers in .crashcoqide files";
let count = ref 0 in
List.iter
(function {script=view; analyzed_view = av } ->
@@ -212,12 +212,12 @@ let crash_save i =
in
try
if try_export filename (view#buffer#get_text ()) then
- Pervasives.prerr_endline ("Saved "^filename)
- else Pervasives.prerr_endline ("Could not save "^filename)
- with _ -> Pervasives.prerr_endline ("Could not save "^filename))
+ safe_prerr_endline ("Saved "^filename)
+ else safe_prerr_endline ("Could not save "^filename)
+ with _ -> safe_prerr_endline ("Could not save "^filename))
)
session_notebook#pages;
- Pervasives.prerr_endline "Done. Please report.";
+ safe_prerr_endline "Done. Please report.";
if i <> 127 then exit i
let ignore_break () =
@@ -3202,7 +3202,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
"\nCoq is developed by the Coq Development Team\
\n(INRIA - CNRS - University Paris 11 and partners)\
\nWeb site: " ^ Coq_config.wwwcoq ^
- "\nFeature wish or bug report: http://logical.saclay.inria.fr/coq-bugs\
+ "\nFeature wish or bug report: http://coq.inria.fr/bugs\
\n\
\nCredits for CoqIDE, the Integrated Development Environment for Coq:\
\n\
@@ -3332,10 +3332,10 @@ let start () =
try
GtkThread.main ()
with
- | Sys.Break -> prerr_endline "Interrupted." ; flush stderr
+ | Sys.Break -> prerr_endline "Interrupted."
| e ->
- Pervasives.prerr_endline ("CoqIde unexpected error:" ^ (Printexc.to_string e));
- flush stderr;
+ safe_prerr_endline ("CoqIde unexpected error:" ^ (Printexc.to_string e));
+ flush_all ();
crash_save 127
done