aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2012-05-11Coqide awful coqtop options parsing fixuppboutill
2012-05-09Little bit of code refactoring in CoqIDEppedrot
2012-05-09End of Gtksourceview switch clean.pboutill
2012-05-08Removing dead code in CoqIDE made useless by the GtkSourceView switch.ppedrot
2012-05-08Fixed access to environment variables in CoqIDE. Up to now, thoseppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-06Cleanly rewritten the undo manager, which did not support redo and hadppedrot
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
2012-05-05Hack to handle trailing whitespace display in CoqIDEppedrot
2012-05-02Added a bunch of new options relative to editor.ppedrot
2012-05-02Better style handling in CoqIDEppedrot
2012-05-02Fixed previous commitppedrot
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-05-02Quick workaround to handle badly designed Sourceview package.ppedrot
2012-05-02Coqide highligthing is back (done by gtksourceview).pboutill
2012-05-02Coqide coq lexer put one tag at the end of a sentence.pboutill
2012-05-02Source language and style are preferencespboutill
2012-05-02undoable_view is a source_viewpboutill
2012-05-02Always add the Coq_config.dirs to xdg_dirspboutill
2012-05-02Fixed #2769ppedrot
2012-05-01Cleaned the interface of analyzed_view in CoqIDE. A lot of methodsppedrot
2012-04-30This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.ppedrot
2012-04-30Fixed an accelerator parsing error in CoqIDE introduced in r15254ppedrot
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-04-27Coqide MacOS integration refreshpboutill
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with it...ppedrot
2012-04-24Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...ppedrot
2012-04-23Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All wa...ppedrot
2012-04-23Cleaning a bit previous commitppedrot
2012-04-23Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...ppedrot
2012-04-20Cleaning up widget code and using a naming convention for such files.ppedrot
2012-04-19Moved queries from command pane to message view.ppedrot
2012-04-19Fixed color refresh of command paneppedrot
2012-04-18Fixed the CoqIDE preference widthppedrot
2012-04-18Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...ppedrot
2012-04-18Cleaning up preferences and hooks in CoqIDEppedrot
2012-04-18New file in CoqIDE is not ANNOYING anymore.ppedrot
2012-04-18Renamed end-of-proof message by a less disturbing one.ppedrot
2012-04-18Added a tab changing command in CoqIDE and moved display options aroundppedrot
2012-04-18Fixed bug #2752ppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2012-04-14Coqide input encoding preference is an algebraic type.pboutill
2012-04-14Coqide Proofview scrollpboutill
2012-04-13Browser documentation & CharSet under Windowspboutill
2012-04-12Coqide minor enhancementspboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-04-11Added a reset button for CoqIDE colorsppedrot
2012-04-11Added a background color configuration option in CoqIDE.ppedrot
2012-04-04Reversed colour highlight in CoqIDEppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 21:27:32 +0000