index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
*
New backtracking code + fix bug #2082.
vgross
2010-02-26
*
Introducing a dual stack setup
vgross
2010-02-26
*
New API for backtracking.
vgross
2010-02-26
*
Redispatch of printing tweaking hooks.
vgross
2010-02-26
*
Various fixes in interp, session switching and backtracking
vgross
2010-02-25
*
Changes in lexing and tagging.
vgross
2010-02-25
*
Fixing compilation issues
vgross
2010-02-19
*
Fixing modules names.
vgross
2010-02-18
*
Adding uim files
vgross
2010-02-18
*
Polishing the setup of CoqIDE Input Method
vgross
2010-02-18
*
Change the customization of modifiers (bug #2210)
vgross
2010-02-15
*
Simplify backtracking
vgross
2010-02-12
*
Delineating a API for Coq inside toplevel/vernac.ml
vgross
2010-02-12
*
Refactoring of the printing options
vgross
2010-02-12
*
New command Declare Reduction <id> := <conv_expr>.
letouzey
2010-01-28
*
Fix uncaught exception
vgross
2010-01-14
*
Revert "Isolation of proof-displaying code"
vgross
2010-01-11
*
Isolation of proof-displaying code
vgross
2010-01-11
*
Patches and instructions to enable Input Method support in CoqIDE.
vgross
2009-12-21
*
Deport the backtracking code out of the ide
vgross
2009-12-11
*
Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...
letouzey
2009-12-08
*
Fix bug #2197 (option show_toolbar not taken into account at startup)
vgross
2009-12-07
*
Remove the "detach script windows" feature.
vgross
2009-12-07
*
Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1
vgross
2009-12-03
*
Ergonomy and robustness fix
vgross
2009-11-23
*
Refactoring of coqide backtrack code, with the intent to put everything
vgross
2009-11-19
*
Remove dubious call to Obj.magic (and dead code, by the way)
glondu
2009-11-13
*
Remove useless call to Obj.magic
glondu
2009-11-13
*
scripting area now grabs focus at startup.
vgross
2009-11-13
*
new handling for lexical structures.
vgross
2009-11-13
*
lexing refactoring
vgross
2009-11-13
*
A bit of cleaning around name generation + creation of dedicated file namegen.ml
herbelin
2009-11-09
*
Removed 'Toplevel' language from extraction documentation, since it is not cu...
gmelquio
2009-11-04
*
Added Coqide highlighting for extraction vernacular.
gmelquio
2009-10-30
*
Removed 'dest' from keyword highlighting.
gmelquio
2009-10-30
*
Integrate a few improvements on typeclasses and Program from the equations br...
msozeau
2009-10-28
*
Add a new vernacular command for controling implicit generalization of
msozeau
2009-10-27
*
Added syntactic coloration for 'Function'.
gmelquio
2009-10-20
*
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
*
Removal of trailing spaces.
serpyc
2009-10-04
*
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
*
Ajout de la gestion de Local et Global pour les options (au sens de
aspiwack
2009-08-14
*
Tried to make F1 documentation tool working in CoqIDE.
herbelin
2009-08-14
*
Added "etransitivity".
herbelin
2009-08-03
*
Improved parameterization of Coq:
herbelin
2009-08-02
*
Completing support for F5=About by adding About to the state-preserving comma...
herbelin
2009-07-08
[next]