aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-17Coq_makefile: if no -install is provided, install location is set by a Makefi...pboutill
2011-12-16Coqide: adapt some comments now that bullets are terminators like { }letouzey
2011-12-16Adapting coqide to my last commit: courtieu
2011-12-15Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...ppedrot
2011-12-07Typopboutill
2011-12-06Fixed a synchronization bug between coqtop and the CoqIDE command pane.ppedrot
2011-11-30Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...ppedrot
2011-11-30Now CoqIDE relies on the option query mechanism to set printing options. Stil...ppedrot
2011-11-25Separated the toplevel interface into a purely declarative module with associ...ppedrot
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-11-20coqide-gtk2rc not dottedpboutill
2011-11-20CoqIdE configuration file won't pollute your home anymorepboutill
2011-11-20Teach coq_makefile how to install into XDG_DATA_HOME.pboutill
2011-11-18Return of the tactic hints features in CoqIDE.ppedrot
2011-11-18Making status info better in CoqIDE: path and name of current lemmappedrot
2011-11-18Now Coqtop has a richer way to answer a query about its pending goals. Answer...ppedrot
2011-11-18Replaced goal api call with a proper structure. This disables menu hints in C...ppedrot
2011-11-18Coqide -debug only printed Coqtop information.pboutill
2011-11-06Also sprach CoqIDE (in XML)ppedrot
2011-10-26Fix configuration box bug in recursive callpboutill
2011-10-26Coq_makefile handles .mlpack filespboutill
2011-10-25Icons in CoqIdE preference panelpboutill
2011-10-25Configuration window of CoqIdE looks more like other Gtk one.pboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-09-06ide/preferences.ml: apparently no `META in Gdk.Tags.modifierletouzey
2011-09-05Coqide: new backtracking code, based on the Backtrack commandletouzey
2011-09-05Ide_intf: slight reorganisation of the IDE apiletouzey
2011-09-02Coq_makefile: bugfix in install rulepboutill
2011-09-01Automatic search of project filepboutill
2011-09-01Coq_makefile : bug when a project file is not in the current directory.pboutill
2011-09-01safe_prerr_endline in Minilibpboutill
2011-09-01Add option -f to coqidepboutill
2011-09-01Add preferences to say how to deal with a project file.pboutill
2011-09-01same_file in Minilibpboutill
2011-09-01load_file takes advantage of same_file optimisationpboutill
2011-09-01create_session takes the filename as argument.pboutill
2011-09-01No more parser for reading coqide pref filepboutill
2011-09-01[/]+ is equivalent to [/] in System and its copypboutill
2011-09-01Creation of ide/project_file.ml4pboutill
2011-08-18Misc improvements concerning "Show Match" and its coqide equivalentletouzey
2011-08-09Coqide: revised parsing of coq sentencesletouzey
2011-07-27Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...pboutill
2011-07-26ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)letouzey
2011-07-25Coqide: fixes and clarifications concerning sentence-terminatorsletouzey
2011-07-16This adds two option tables 'Printing Record' and 'Printing Constructor'herbelin
2011-07-08Coqide: undo comments (Second part of r14268)pboutill
2011-07-07Bug 2217: In coqide, a comment alone is now a sentence that isn't send to coqpboutill
2011-07-07Coqide understand { and }pboutill
2011-06-17Fix 2516: Utf8 font in Coqide Command panelpboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 16:37:57 +0000