aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2012-08-24Modification of the unjustified tag.aspiwack
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-10Fixes bug #2857.aspiwack
2012-08-08Updating headers.herbelin
2012-07-25Bug 2706: Coqide and layout that use special modifierspboutill
2012-07-16Added abstration layer to goal display in CoqIDE, and cleaned partsppedrot
2012-07-16Fixing goal display when still focussing but no more goals.ppedrot
2012-07-13Display the "unjustified" information returned by coqtop.ppedrot
2012-07-13Fixes r15610 (A new status Unsafe in Interface).aspiwack
2012-07-12A new status Unsafe in Interface. Meant for commands such as Admitted.aspiwack
2012-07-10Adapting the IDE interface with the focussed display.ppedrot
2012-06-29Various small display improvementppedrot
2012-06-29Reversed message display order in CoqIDEppedrot
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-06-26Added the show_margin_right option to CoqIDEppedrot
2012-06-26Fixing awkward copy & paste mechanism in CoqIDE.ppedrot
2012-06-26Now CoqIDE auto-sets the printing width of the goal display.ppedrot
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 19:38:23 +0000