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
*
Coqide awful coqtop options parsing fixup
pboutill
2012-05-11
*
Little bit of code refactoring in CoqIDE
ppedrot
2012-05-09
*
End of Gtksourceview switch clean.
pboutill
2012-05-09
*
Removing dead code in CoqIDE made useless by the GtkSourceView switch.
ppedrot
2012-05-08
*
Fixed access to environment variables in CoqIDE. Up to now, those
ppedrot
2012-05-08
*
Rewritten the autocompletion mechanism of CoqIDE, and stuffed it
ppedrot
2012-05-08
*
Cleanly rewritten the undo manager, which did not support redo and had
ppedrot
2012-05-06
*
Renamed Undo to conform to CoqIDE widget naming convention. In addition,
ppedrot
2012-05-05
*
Hack to handle trailing whitespace display in CoqIDE
ppedrot
2012-05-05
*
Added a bunch of new options relative to editor.
ppedrot
2012-05-02
*
Better style handling in CoqIDE
ppedrot
2012-05-02
*
Fixed previous commit
ppedrot
2012-05-02
*
Removed the useless use of a reference in preference handling.
ppedrot
2012-05-02
*
Quick workaround to handle badly designed Sourceview package.
ppedrot
2012-05-02
*
Coqide highligthing is back (done by gtksourceview).
pboutill
2012-05-02
*
Coqide coq lexer put one tag at the end of a sentence.
pboutill
2012-05-02
*
Source language and style are preferences
pboutill
2012-05-02
*
undoable_view is a source_view
pboutill
2012-05-02
*
Always add the Coq_config.dirs to xdg_dirs
pboutill
2012-05-02
*
Fixed #2769
ppedrot
2012-05-02
*
Cleaned the interface of analyzed_view in CoqIDE. A lot of methods
ppedrot
2012-05-01
*
This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.
ppedrot
2012-04-30
*
Fixed an accelerator parsing error in CoqIDE introduced in r15254
ppedrot
2012-04-30
*
Configure asks for lablgtk >= 2.12 with gtksourceview2
pboutill
2012-04-27
*
Coqide MacOS integration refresh
pboutill
2012-04-27
*
Removed the quasi-useless gtk2rc file and the documentation that went with it...
ppedrot
2012-04-27
*
Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...
ppedrot
2012-04-24
*
Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All wa...
ppedrot
2012-04-23
*
Cleaning a bit previous commit
ppedrot
2012-04-23
*
Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...
ppedrot
2012-04-23
*
Cleaning up widget code and using a naming convention for such files.
ppedrot
2012-04-20
*
Moved queries from command pane to message view.
ppedrot
2012-04-19
*
Fixed color refresh of command pane
ppedrot
2012-04-19
*
Fixed the CoqIDE preference width
ppedrot
2012-04-18
*
Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...
ppedrot
2012-04-18
*
Cleaning up preferences and hooks in CoqIDE
ppedrot
2012-04-18
*
New file in CoqIDE is not ANNOYING anymore.
ppedrot
2012-04-18
*
Renamed end-of-proof message by a less disturbing one.
ppedrot
2012-04-18
*
Added a tab changing command in CoqIDE and moved display options around
ppedrot
2012-04-18
*
Fixed bug #2752
ppedrot
2012-04-18
*
Coqide: the coqtop to launch is a preference.
pboutill
2012-04-17
*
Coqide input encoding preference is an algebraic type.
pboutill
2012-04-14
*
Coqide Proofview scroll
pboutill
2012-04-14
*
Browser documentation & CharSet under Windows
pboutill
2012-04-13
*
Coqide minor enhancements
pboutill
2012-04-12
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Added a reset button for CoqIDE colors
ppedrot
2012-04-11
*
Added a background color configuration option in CoqIDE.
ppedrot
2012-04-11
*
Reversed colour highlight in CoqIDE
ppedrot
2012-04-04
*
A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.
ppedrot
2012-03-28
[next]