diff options
| author | marche | 2004-01-20 15:16:45 +0000 |
|---|---|---|
| committer | marche | 2004-01-20 15:16:45 +0000 |
| commit | bcf576bfce86b1ef53e465caa3a4be83f00814bd (patch) | |
| tree | 2bf9ef3dc12f1b6d1097d0ea468c5305144242c4 /ide/preferences.ml | |
| parent | f53e44b54f4bcebe64f99a51bc22266530e4ef0c (diff) | |
coqide utf8
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5222 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/preferences.ml')
| -rw-r--r-- | ide/preferences.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml index ad0c19743b..309cc150e3 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -130,7 +130,7 @@ let (current:pref ref) = cmd_browse = "netscape -remote \"OpenURL(", ")\""; cmd_editor = "emacs ", ""; - text_font = Pango.Font.from_string "Monospace 12"; + text_font = Pango.Font.from_string "sans 12"; doc_url = "http://coq.inria.fr/doc/"; library_url = "http://coq.inria.fr/library/"; @@ -294,7 +294,7 @@ let configure () = let box = GPack.hbox () in let w = GMisc.font_selection () in w#set_preview_text - "Lemma Truth: ∀ p:Prover, `p < Coq`. Proof. Auto with *. Save."; + "Goal (∃n : nat, n ≤ 0)∧(∀x,y,z, x∈y⋃z↔x∈y∨x∈z)."; box#pack w#coerce; ignore (w#misc#connect#realize ~callback:(fun () -> w#set_font_name |