diff options
Diffstat (limited to 'ide/coqide.ml')
-rw-r--r-- | ide/coqide.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index cd2e0358f..7cfeb694d 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -3337,6 +3337,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S); input_views; ); let about (b:GText.buffer) = +(* (try let image = lib_ide_file "coq.png" in let startup_image = GdkPixbuf.from_file image in @@ -3344,6 +3345,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S); ~pixbuf:startup_image; b#insert ~iter:b#start_iter "\t\t"; with _ -> ()); +*) let about_string = "\nCoqIDE: an Integrated Development Environment for Coq\n\ \nMain author : Benjamin Monate\ |