aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Added the show_margin_right option to CoqIDEGravatar ppedrot2012-06-26
* Fixing awkward copy & paste mechanism in CoqIDE.Gravatar ppedrot2012-06-26
* Now CoqIDE auto-sets the printing width of the goal display.Gravatar ppedrot2012-06-26
* Small code compaction and factoring in CoqIDE.Gravatar ppedrot2012-06-25
* Cosmetic changesGravatar ppedrot2012-06-24
* Made the message view of CoqIDE abstract.Gravatar ppedrot2012-06-24
* Fixed cursor reset in CoqIDE backtrack.Gravatar ppedrot2012-06-23
* Factorized bactracking code in CoqIDE. This fixes bug #2821 btw.Gravatar ppedrot2012-06-23
* Fixing a potential bug of coqtop management in CoqIDE due to aGravatar ppedrot2012-06-23
* Fixed #2821.Gravatar ppedrot2012-06-21
* Fixing accelerator dynamic modification in CoqIDE.Gravatar ppedrot2012-06-21
* Fix coqide vernac lexerGravatar pboutill2012-06-15
* Fixing annoying autocompletion when deleting text.Gravatar ppedrot2012-06-13
* Fixing #2803.Gravatar ppedrot2012-06-04
* Fixed an error display bug in CoqIDE.Gravatar ppedrot2012-05-29
* Bugs revealed by playing with contribsGravatar pboutill2012-05-25
* Fix r15259 to get rid of bug 2783Gravatar pboutill2012-05-25
* Fixed #2769.Gravatar ppedrot2012-05-25
* Rewritten the handling of coq sentence processing, hopefully beingGravatar ppedrot2012-05-23
* Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.Gravatar ppedrot2012-05-23
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Fixed #2782.Gravatar ppedrot2012-05-23
* Reducing CoqIDE start option queries.Gravatar ppedrot2012-05-23
* Minilib: Always add the Coq_config.dirs to xdg_dirs (again)Gravatar letouzey2012-05-22
* Fixed bug #2781... (We hope so.)Gravatar ppedrot2012-05-16
* Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.Gravatar ppedrot2012-05-16
* Coqide: make some paths win32-compliantGravatar letouzey2012-05-16
* Revert commit 15287 : the env variables are indeed access at launch-timeGravatar letouzey2012-05-16
* Coqide: minor formatting improvement of an error messageGravatar letouzey2012-05-15
* Coqide: in win32 command given to cmd.exe should be more quotedGravatar letouzey2012-05-15
* Coqide: display initial connection errors in popups instead of on stderrGravatar letouzey2012-05-15
* Added semantic completion in CoqIDE. (Should also add an option for that...)Gravatar ppedrot2012-05-13
* Tweaking options of CoqIDE.Gravatar ppedrot2012-05-13
* Some cosmetic changes w.r.t. the previous commit.Gravatar ppedrot2012-05-13
* Heavily rewritten the coqtop management process of coqide. The coqtopGravatar ppedrot2012-05-13
* Coqide awful coqtop options parsing fixupGravatar pboutill2012-05-11
* Little bit of code refactoring in CoqIDEGravatar ppedrot2012-05-09
* End of Gtksourceview switch clean.Gravatar pboutill2012-05-09
* Removing dead code in CoqIDE made useless by the GtkSourceView switch.Gravatar ppedrot2012-05-08
* Fixed access to environment variables in CoqIDE. Up to now, thoseGravatar ppedrot2012-05-08
* Rewritten the autocompletion mechanism of CoqIDE, and stuffed itGravatar ppedrot2012-05-08
* Cleanly rewritten the undo manager, which did not support redo and hadGravatar ppedrot2012-05-06
* Renamed Undo to conform to CoqIDE widget naming convention. In addition,Gravatar ppedrot2012-05-05
* Hack to handle trailing whitespace display in CoqIDEGravatar ppedrot2012-05-05
* Added a bunch of new options relative to editor.Gravatar ppedrot2012-05-02
* Better style handling in CoqIDEGravatar ppedrot2012-05-02
* Fixed previous commitGravatar ppedrot2012-05-02
* Removed the useless use of a reference in preference handling.Gravatar ppedrot2012-05-02
* Quick workaround to handle badly designed Sourceview package.Gravatar ppedrot2012-05-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 15:29:22 +0000