diff options
| author | herbelin | 2008-03-30 22:30:44 +0000 |
|---|---|---|
| committer | herbelin | 2008-03-30 22:30:44 +0000 |
| commit | 7944955b892f0ffa70ecf92f83b372cddc5b867b (patch) | |
| tree | 479fc9f009fa1a81490c016956c61d6f7c62896c /ide/command_windows.ml | |
| parent | 90e5407fcfc59dce5ea592aeae6195183a2b4ad2 (diff) | |
Modifications diverses et variées :
- Nouvel essai de prise en compte unfold dans apply (unification.ml)
- Correction bug commit précédent (constrintern.ml)
- Correction bug d'explication des evars non résolues (evarutil.ml)
- Fenêtre de query coqide plus large (command_windows.ml)
- Orthographe tauto (tauto.ml4)
- Crédits (ConstructiveEpsilon.v)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10731 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/command_windows.ml')
| -rw-r--r-- | ide/command_windows.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/command_windows.ml b/ide/command_windows.ml index 5887492ce6..b933b7ce2c 100644 --- a/ide/command_windows.ml +++ b/ide/command_windows.ml @@ -11,7 +11,7 @@ class command_window () = let window = GWindow.window ~allow_grow:true ~allow_shrink:true - ~width:320 ~height:200 + ~width:500 ~height:250 ~position:`CENTER ~title:"CoqIde queries" ~show:false () in |