descriptionc463d93732bf94400e04c18986dba5e180
last changeMon, 25 Feb 2013 15:22:13 +0000 (16:22 +0100)
shortlog
2013-02-25 Pierre BoutillierBack to raw 'git-svn' master
2013-02-22 ppedrotTentative heuristic fix to handle lexer failures from...
2013-02-22 ppedrotCosmetic changes to CoqIDE finder widget.
2013-02-20 ppedrotFixing an annoying bug in CoqIDE which causes the very...
2013-02-20 ppedrotFixing #2763
2013-02-20 ppedrotMore handling of scrollbars in CoqIDE completion
2013-02-20 ppedrotCoqIDE: Including autocompletion in word proposals
2013-02-20 ppedrotAdding scrollbars to CoqIDE autocompletion
2013-02-19 ppedrotNew autocompletion mechanism in CoqIDE. Now provides...
2013-02-13 ppedrotCoqIDE: Adding escape reaction to replace widget
2013-02-13 ppedrotFixing autocompletion lock in CoqIDE
2013-01-26 ppedrotupdating ide/coq documentation
2013-01-26 ppedrotMonadification of coqtop queries in CoqIDE
2013-01-26 ppedrotUniformization of Coq tasks
2013-01-25 ppedrotBetter handling of escape find in CoqIDE
2013-01-25 ppedrotBetter Undo/Redo mechanism
...
heads
3 years ago master
4 years ago sandbox