aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2012-05-11Coqide awful coqtop options parsing fixuppboutill
2012-05-09Little bit of code refactoring in CoqIDEppedrot
2012-05-09End of Gtksourceview switch clean.pboutill
2012-05-08Removing dead code in CoqIDE made useless by the GtkSourceView switch.ppedrot
2012-05-08Fixed access to environment variables in CoqIDE. Up to now, thoseppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
2012-05-05Hack to handle trailing whitespace display in CoqIDEppedrot
2012-05-02Added a bunch of new options relative to editor.ppedrot
2012-05-02Better style handling in CoqIDEppedrot
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-05-02Coqide coq lexer put one tag at the end of a sentence.pboutill
2012-05-02Source language and style are preferencespboutill
2012-05-02undoable_view is a source_viewpboutill
2012-05-02Fixed #2769ppedrot
2012-05-01Cleaned the interface of analyzed_view in CoqIDE. A lot of methodsppedrot
2012-04-30This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.ppedrot
2012-04-30Fixed an accelerator parsing error in CoqIDE introduced in r15254ppedrot
2012-04-27Coqide MacOS integration refreshpboutill
2012-04-24Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...ppedrot
2012-04-23Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...ppedrot
2012-04-20Cleaning up widget code and using a naming convention for such files.ppedrot
2012-04-19Moved queries from command pane to message view.ppedrot
2012-04-19Fixed color refresh of command paneppedrot
2012-04-18Cleaning up preferences and hooks in CoqIDEppedrot
2012-04-18New file in CoqIDE is not ANNOYING anymore.ppedrot
2012-04-18Added a tab changing command in CoqIDE and moved display options aroundppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2012-04-11Added a background color configuration option in CoqIDE.ppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
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-15Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...ppedrot
2011-12-06Fixed a synchronization bug between coqtop and the CoqIDE command pane.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-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-18Coqide -debug only printed Coqtop information.pboutill
2011-09-05Coqide: new backtracking code, based on the Backtrack commandletouzey
2011-09-05Ide_intf: slight reorganisation of the IDE apiletouzey
2011-09-01Automatic search of project filepboutill
2011-09-01safe_prerr_endline in Minilibpboutill
2011-09-01Add option -f to coqidepboutill
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-08-18Misc improvements concerning "Show Match" and its coqide equivalentletouzey
2011-08-09Coqide: revised parsing of coq sentencesletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 12:33:18 +0000