aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2012-06-25Small code compaction and factoring in CoqIDE.ppedrot
2012-06-24Cosmetic changesppedrot
2012-06-24Made the message view of CoqIDE abstract.ppedrot
2012-06-23Fixed cursor reset in CoqIDE backtrack.ppedrot
2012-06-23Factorized bactracking code in CoqIDE. This fixes bug #2821 btw.ppedrot
2012-06-23Fixing a potential bug of coqtop management in CoqIDE due to appedrot
2012-06-21Fixed #2821.ppedrot
2012-06-21Fixing accelerator dynamic modification in CoqIDE.ppedrot
2012-06-15Fix coqide vernac lexerpboutill
2012-06-13Fixing annoying autocompletion when deleting text.ppedrot
2012-06-04Fixing #2803.ppedrot
2012-05-29Fixed an error display bug in CoqIDE.ppedrot
2012-05-25Bugs revealed by playing with contribspboutill
2012-05-25Fix r15259 to get rid of bug 2783pboutill
2012-05-25Fixed #2769.ppedrot
2012-05-23Rewritten the handling of coq sentence processing, hopefully beingppedrot
2012-05-23Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.ppedrot
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-23Fixed #2782.ppedrot
2012-05-23Reducing CoqIDE start option queries.ppedrot
2012-05-22Minilib: Always add the Coq_config.dirs to xdg_dirs (again)letouzey
2012-05-16Fixed bug #2781... (We hope so.)ppedrot
2012-05-16Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.ppedrot
2012-05-16Coqide: make some paths win32-compliantletouzey
2012-05-16Revert commit 15287 : the env variables are indeed access at launch-timeletouzey
2012-05-15Coqide: minor formatting improvement of an error messageletouzey
2012-05-15Coqide: in win32 command given to cmd.exe should be more quotedletouzey
2012-05-15Coqide: display initial connection errors in popups instead of on stderrletouzey
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-13Tweaking options of CoqIDE.ppedrot
2012-05-13Some cosmetic changes w.r.t. the previous commit.ppedrot
2012-05-13Heavily rewritten the coqtop management process of coqide. The coqtopppedrot
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 15:15:07 +0000