index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
coqide.ml
Commit message (
Expand
)
Author
Age
*
note for later : when the tag table is shared, never, ever create two
vgross
2009-10-16
*
Revert "kills the old backtracking framework and replaces it with"
vgross
2009-10-05
*
kills the old backtracking framework and replaces it with
vgross
2009-09-29
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
removed the double-click / proof hiding association.
vgross
2009-09-14
*
tags refactoring
vgross
2009-09-14
*
Tried to make F1 documentation tool working in CoqIDE.
herbelin
2009-08-14
*
Miscellaneous practical commits:
herbelin
2009-06-29
*
Simplifying the call to print_no_goals and not calling it when no goal
herbelin
2009-06-11
*
Change in UI behaviour : proof folding is now done by double clicking. Delay is
vgross
2009-06-08
*
Partial simplification of undo mechanism, relying only on Courtieu's
herbelin
2009-06-07
*
sane behaviour for copy/paste operations (the code is still insane, though)
vgross
2009-05-27
*
minor bugfixes. CoqIde development will resume soon now ...
vgross
2009-05-13
*
Report de la révision #12104 (Maj lien site web de Coq)
notin
2009-04-24
*
- per session coq command stack
vgross
2009-03-07
*
Heavy modifications on the widget and edition tab creation mechanism.
vgross
2009-03-02
*
Suppression de l'ancien logo (problèmes de droits)
notin
2009-01-23
*
Added some missing statements for proof folding and corrected
vgross
2009-01-20
*
Added proof folding into CoqIde. See RefMan for using it.
vgross
2009-01-20
*
Miscellaneous fixes and improvements:
herbelin
2008-12-02
*
- Ajout possibilité de lancer ocamldebug sur coqide
herbelin
2008-11-07
*
Bug résiduel du backtrack de coqide se produisant lorsque la limite de
herbelin
2008-07-10
*
Logo Coq dans coqide
notin
2008-06-27
*
CoqIDE: 2 problèmes de undo encore:
herbelin
2008-06-13
*
now Escape toggles query pane
jnarboux
2008-06-11
*
Plutôt que de reposer sur le vernacexpr pour détecter les débuts de
herbelin
2008-06-11
*
escape key now hides pane
jnarboux
2008-06-11
*
Ajout query Locate dans coqide sur suggestion Arthur C.
herbelin
2008-06-10
*
On prend des risques en tentant d'optimiser encore plus le undo en cas
herbelin
2008-06-09
*
- Documentation de admit et Print Assumptions.
herbelin
2008-06-09
*
more uniform name of app for windows class
jnarboux
2008-06-09
*
fix toggle item for show hide query pane
jnarboux
2008-06-09
*
add confirmation dialog for printing
jnarboux
2008-06-09
*
enleve les majuscules dans Save All, comem suggéré pas Hugo
jnarboux
2008-06-08
*
- On adopte finalement la méthode de Pierre Courtieu pour le undo de
herbelin
2008-06-06
*
improve name, size and position of detached windows
jnarboux
2008-06-03
*
try to reduce the size of the queries pane
jnarboux
2008-06-03
*
- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"
herbelin
2008-05-30
*
backtrack sur utilisation de do_overwrite_confirmation
jnarboux
2008-05-29
*
replace the query window of coqide by a pane in main window as suggested by hugo
jnarboux
2008-05-28
*
add option to change modifiers of display menu
jnarboux
2008-05-28
*
Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image de
herbelin
2008-05-28
*
add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...
jnarboux
2008-05-28
*
revert toolbar to previous state: icons style
jnarboux
2008-05-27
*
transform the toolbar icons for display of information into a Display menu wi...
jnarboux
2008-05-26
*
Réorganisation des points d'appui du undo de CoqIDE (type reset_info).
herbelin
2008-05-26
*
Encore un bug de undo
herbelin
2008-05-26
*
- Nouvelle option "Set Printing Existential Instances" pour forcer
herbelin
2008-05-25
*
- Prise en compte des frozen state de Coq autant que possible pour
herbelin
2008-05-24
*
Désactivation affichage image coqide en attendant un barcelos
herbelin
2008-05-21
[next]