aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* On prend des risques en tentant d'optimiser encore plus le undo en casGravatar herbelin2008-06-09
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* more uniform name of app for windows classGravatar jnarboux2008-06-09
* fix toggle item for show hide query paneGravatar jnarboux2008-06-09
* add confirmation dialog for printingGravatar jnarboux2008-06-09
* enleve les majuscules dans Save All, comem suggéré pas HugoGravatar jnarboux2008-06-08
* - On adopte finalement la méthode de Pierre Courtieu pour le undo deGravatar herbelin2008-06-06
* improve name, size and position of detached windowsGravatar jnarboux2008-06-03
* try to reduce the size of the queries paneGravatar jnarboux2008-06-03
* Quelques amendements liées à la compilation des packages.Gravatar herbelin2008-06-01
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* backtrack sur utilisation de do_overwrite_confirmationGravatar jnarboux2008-05-29
* commented out overwrite confirmation handler (requires lablgtk >=2.10)Gravatar barras2008-05-29
* transparent backgroundGravatar barras2008-05-29
* replace the query window of coqide by a pane in main window as suggested by hugoGravatar jnarboux2008-05-28
* add option to change modifiers of display menuGravatar jnarboux2008-05-28
* Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image deGravatar herbelin2008-05-28
* add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...Gravatar jnarboux2008-05-28
* - Correction bug highlighting "Module" dans CoqideGravatar herbelin2008-05-28
* revert toolbar to previous state: icons styleGravatar jnarboux2008-05-27
* remove set printing ... and unset printing ... from template menu as they are...Gravatar jnarboux2008-05-26
* transform the toolbar icons for display of information into a Display menu wi...Gravatar jnarboux2008-05-26
* Réorganisation des points d'appui du undo de CoqIDE (type reset_info).Gravatar herbelin2008-05-26
* Encore un bug de undoGravatar herbelin2008-05-26
* Bug undo CoqIDE sur EndGravatar herbelin2008-05-26
* - Nouvelle option "Set Printing Existential Instances" pour forcerGravatar herbelin2008-05-25
* - Prise en compte des frozen state de Coq autant que possible pourGravatar herbelin2008-05-24
* Désactivation affichage image coqide en attendant un barcelosGravatar herbelin2008-05-21
* Correction bugs ide undo et highlight (suite à typos)Gravatar herbelin2008-05-21
* Léger backtrack sur commit coqide précédent (si la commande à annulerGravatar herbelin2008-05-20
* Fixed coqide bug #1856 that was introduced in revision 10915.Gravatar herbelin2008-05-20
* - Changement du code de Zplus pour accomoder ring qui sinon prend uneGravatar herbelin2008-05-11
* Correction bug #1842 + correction bug initialisation introduit dansGravatar herbelin2008-05-10
* Amélioration de la colorisation, du backtrack et des messages de CoqIDEGravatar herbelin2008-05-10
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuveGravatar herbelin2008-04-25
* Modifications diverses et variées :Gravatar herbelin2008-03-30
* CoqIDE default font set to monospace so as indentation to be meaningfulGravatar herbelin2008-03-23
* Branchement de l'auto-save de coqide par défautGravatar herbelin2008-03-04
* Correction du bug #1770: il semble que la recherche insensible à la casse ne...Gravatar notin2008-01-10
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Commit intermédiaire express de réparation de coqide.ml, que j'avais Gravatar aspiwack2007-12-06
* Factorisation des opérations sur le type option de Util dans un module Gravatar aspiwack2007-12-05
* Report de la révision #10197 (adaptation à Lablgtk 2.10.0)Gravatar notin2007-10-18
* add visibility of extraction messages in coqideGravatar letouzey2007-10-16
* Correction d'un bug de l'appel à make via CoqideGravatar notin2007-10-16
* Maj du lien vers coq-bugs dans CoqideGravatar notin2007-10-12
* Amélioration de l'appel aux outils externes via CoqideGravatar notin2007-10-09
* Bug 1716: Scheme now print the right messagesGravatar vsiles2007-10-04