aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2012-04-12Coqide minor enhancementspboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2012-04-11Added a reset button for CoqIDE colorsppedrot
2012-04-11Added a background color configuration option in CoqIDE.ppedrot
2012-04-04Reversed colour highlight in CoqIDEppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
2012-03-23A unified backtrack mechanism, with a basic "Show Script" as side-effectletouzey
2012-03-23Remove old proof-managment commands Suspend/Resumeletouzey
2012-02-22Ide: sentences found by find_phrase_starting_at should be nonempty (fix #2683)letouzey
2012-02-02More information returned by coqtop about its internal state. Hopefully we'll...ppedrot
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 06:00:02 +0000