aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2008-07-28Show configure choice for browser in CoqIDE preferencesglondu
2008-07-18- Rebranchement backtrack du langage déclaratif dans Coqideherbelin
2008-07-10Bug résiduel du backtrack de coqide se produisant lorsque la limite deherbelin
2008-07-01Encore une suite au 11188/11193 (c'était pas un bon jour)herbelin
2008-06-27Logo Coq dans coqidenotin
2008-06-13CoqIDE: 2 problèmes de undo encore:herbelin
2008-06-11now Escape toggles query panejnarboux
2008-06-11Plutôt que de reposer sur le vernacexpr pour détecter les débuts deherbelin
2008-06-11escape key now hides panejnarboux
2008-06-10Ajout query Locate dans coqide sur suggestion Arthur C.herbelin
2008-06-10open and save buttons are the defaultbarras
2008-06-09On prend des risques en tentant d'optimiser encore plus le undo en casherbelin
2008-06-09- Documentation de admit et Print Assumptions.herbelin
2008-06-09more uniform name of app for windows classjnarboux
2008-06-09fix toggle item for show hide query panejnarboux
2008-06-09add confirmation dialog for printingjnarboux
2008-06-08enleve les majuscules dans Save All, comem suggéré pas Hugojnarboux
2008-06-06- On adopte finalement la méthode de Pierre Courtieu pour le undo deherbelin
2008-06-03improve name, size and position of detached windowsjnarboux
2008-06-03try to reduce the size of the queries panejnarboux
2008-06-01Quelques amendements liées à la compilation des packages.herbelin
2008-05-30- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"herbelin
2008-05-29backtrack sur utilisation de do_overwrite_confirmationjnarboux
2008-05-29commented out overwrite confirmation handler (requires lablgtk >=2.10)barras
2008-05-29transparent backgroundbarras
2008-05-28replace the query window of coqide by a pane in main window as suggested by hugojnarboux
2008-05-28add option to change modifiers of display menujnarboux
2008-05-28Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image deherbelin
2008-05-28add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...jnarboux
2008-05-28- Correction bug highlighting "Module" dans Coqideherbelin
2008-05-27revert toolbar to previous state: icons stylejnarboux
2008-05-26remove set printing ... and unset printing ... from template menu as they are...jnarboux
2008-05-26transform the toolbar icons for display of information into a Display menu wi...jnarboux
2008-05-26Réorganisation des points d'appui du undo de CoqIDE (type reset_info).herbelin
2008-05-26Encore un bug de undoherbelin
2008-05-26Bug undo CoqIDE sur Endherbelin
2008-05-25- Nouvelle option "Set Printing Existential Instances" pour forcerherbelin
2008-05-24- Prise en compte des frozen state de Coq autant que possible pourherbelin
2008-05-21Désactivation affichage image coqide en attendant un barcelosherbelin
2008-05-21Correction bugs ide undo et highlight (suite à typos)herbelin
2008-05-20Léger backtrack sur commit coqide précédent (si la commande à annulerherbelin
2008-05-20Fixed coqide bug #1856 that was introduced in revision 10915.herbelin
2008-05-11- Changement du code de Zplus pour accomoder ring qui sinon prend uneherbelin
2008-05-10Correction bug #1842 + correction bug initialisation introduit dansherbelin
2008-05-10Amélioration de la colorisation, du backtrack et des messages de CoqIDEherbelin
2008-05-08** Efficacité, bugs, robustesse CoqIDE **herbelin
2008-04-25Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuveherbelin
2008-03-30Modifications diverses et variées :herbelin
2008-03-23CoqIDE default font set to monospace so as indentation to be meaningfulherbelin
2008-03-04Branchement de l'auto-save de coqide par défautherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 18:06:59 +0000