aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* MacOS integration uses lablgtkosx >= 1.1Gravatar pboutill2012-09-17
* More type-safe interface to Coq XML API.Gravatar ppedrot2012-09-17
* Some documentation and cleaning of CList and Util interfaces.Gravatar ppedrot2012-09-15
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSGravatar pboutill2012-09-12
* Added Print Assumptions command to CoqIDEGravatar ppedrot2012-09-10
* When asked for a SearchAbout request, Coq now returns a more preciseGravatar ppedrot2012-09-09
* Added a comment/uncomment command to CoqIDEGravatar ppedrot2012-09-06
* Nice output of SearchAbout command in CoqIDEGravatar ppedrot2012-09-06
* Fix coqide compilation with lablgtk 2.16Gravatar pboutill2012-09-04
* Coqide Fix highlighting of Extraction, Import, VariablesGravatar pboutill2012-09-04
* Better highlighting of strings in coqide.Gravatar aspiwack2012-08-24
* Modification of the unjustified tag.Gravatar aspiwack2012-08-24
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Fixes bug #2857.Gravatar aspiwack2012-08-10
* Updating headers.Gravatar herbelin2012-08-08
* Bug 2706: Coqide and layout that use special modifiersGravatar pboutill2012-07-25
* Added abstration layer to goal display in CoqIDE, and cleaned partsGravatar ppedrot2012-07-16
* Fixing goal display when still focussing but no more goals.Gravatar ppedrot2012-07-16
* Display the "unjustified" information returned by coqtop.Gravatar ppedrot2012-07-13
* Fixes r15610 (A new status Unsafe in Interface).Gravatar aspiwack2012-07-13
* A new status Unsafe in Interface. Meant for commands such as Admitted.Gravatar aspiwack2012-07-12
* Adapting the IDE interface with the focussed display.Gravatar ppedrot2012-07-10
* Various small display improvementGravatar ppedrot2012-06-29
* Reversed message display order in CoqIDEGravatar ppedrot2012-06-29
* Now CoqIDE separates answer and messages. This should hopefullyGravatar ppedrot2012-06-29
* 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