aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Ide: sentences found by find_phrase_starting_at should be nonempty (fix #2683)Gravatar letouzey2012-02-22
* More information returned by coqtop about its internal state. Hopefully we'll...Gravatar ppedrot2012-02-02
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* Coq_makefile: if no -install is provided, install location is set by a Makefi...Gravatar pboutill2011-12-17
* Coqide: adapt some comments now that bullets are terminators like { }Gravatar letouzey2011-12-16
* Adapting coqide to my last commit: Gravatar courtieu2011-12-16
* Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...Gravatar ppedrot2011-12-15
* TypoGravatar pboutill2011-12-07
* Fixed a synchronization bug between coqtop and the CoqIDE command pane.Gravatar ppedrot2011-12-06
* Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...Gravatar ppedrot2011-11-30
* Now CoqIDE relies on the option query mechanism to set printing options. Stil...Gravatar ppedrot2011-11-30
* Separated the toplevel interface into a purely declarative module with associ...Gravatar ppedrot2011-11-25
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* coqide-gtk2rc not dottedGravatar pboutill2011-11-20
* CoqIdE configuration file won't pollute your home anymoreGravatar pboutill2011-11-20
* Teach coq_makefile how to install into XDG_DATA_HOME.Gravatar pboutill2011-11-20
* Return of the tactic hints features in CoqIDE.Gravatar ppedrot2011-11-18
* Making status info better in CoqIDE: path and name of current lemmaGravatar ppedrot2011-11-18
* Now Coqtop has a richer way to answer a query about its pending goals. Answer...Gravatar ppedrot2011-11-18
* Replaced goal api call with a proper structure. This disables menu hints in C...Gravatar ppedrot2011-11-18
* Coqide -debug only printed Coqtop information.Gravatar pboutill2011-11-18
* Also sprach CoqIDE (in XML)Gravatar ppedrot2011-11-06
* Fix configuration box bug in recursive callGravatar pboutill2011-10-26
* Coq_makefile handles .mlpack filesGravatar pboutill2011-10-26
* Icons in CoqIdE preference panelGravatar pboutill2011-10-25
* Configuration window of CoqIdE looks more like other Gtk one.Gravatar pboutill2011-10-25
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* ide/preferences.ml: apparently no `META in Gdk.Tags.modifierGravatar letouzey2011-09-06
* Coqide: new backtracking code, based on the Backtrack commandGravatar letouzey2011-09-05
* Ide_intf: slight reorganisation of the IDE apiGravatar letouzey2011-09-05
* Coq_makefile: bugfix in install ruleGravatar pboutill2011-09-02
* Automatic search of project fileGravatar pboutill2011-09-01
* Coq_makefile : bug when a project file is not in the current directory.Gravatar pboutill2011-09-01
* safe_prerr_endline in MinilibGravatar pboutill2011-09-01
* Add option -f to coqideGravatar pboutill2011-09-01
* Add preferences to say how to deal with a project file.Gravatar pboutill2011-09-01
* same_file in MinilibGravatar pboutill2011-09-01
* load_file takes advantage of same_file optimisationGravatar pboutill2011-09-01
* create_session takes the filename as argument.Gravatar pboutill2011-09-01
* No more parser for reading coqide pref fileGravatar pboutill2011-09-01
* [/]+ is equivalent to [/] in System and its copyGravatar pboutill2011-09-01
* Creation of ide/project_file.ml4Gravatar pboutill2011-09-01
* Misc improvements concerning "Show Match" and its coqide equivalentGravatar letouzey2011-08-18
* Coqide: revised parsing of coq sentencesGravatar letouzey2011-08-09
* Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...Gravatar pboutill2011-07-27
* ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)Gravatar letouzey2011-07-26
* Coqide: fixes and clarifications concerning sentence-terminatorsGravatar letouzey2011-07-25
* This adds two option tables 'Printing Record' and 'Printing Constructor'Gravatar herbelin2011-07-16
* Coqide: undo comments (Second part of r14268)Gravatar pboutill2011-07-08
* Bug 2217: In coqide, a comment alone is now a sentence that isn't send to coqGravatar pboutill2011-07-07