aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Minor fixes related to coqdoc and --interpolate and the dependentGravatar msozeau2008-10-03
* Show configure choice for browser in CoqIDE preferencesGravatar glondu2008-07-28
* - Rebranchement backtrack du langage déclaratif dans CoqideGravatar herbelin2008-07-18
* Bug résiduel du backtrack de coqide se produisant lorsque la limite deGravatar herbelin2008-07-10
* Encore une suite au 11188/11193 (c'était pas un bon jour)Gravatar herbelin2008-07-01
* Logo Coq dans coqideGravatar notin2008-06-27
* CoqIDE: 2 problèmes de undo encore:Gravatar herbelin2008-06-13
* now Escape toggles query paneGravatar jnarboux2008-06-11
* Plutôt que de reposer sur le vernacexpr pour détecter les débuts deGravatar herbelin2008-06-11
* escape key now hides paneGravatar jnarboux2008-06-11
* Ajout query Locate dans coqide sur suggestion Arthur C.Gravatar herbelin2008-06-10
* open and save buttons are the defaultGravatar barras2008-06-10
* 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