aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2012-05-11Impossible branches inference fixup (bug 2761)pboutill
2012-05-11Makefile.build typo in echopboutill
2012-05-11Slightly modified the coqtop interface by adding an identifier inppedrot
2012-05-11Tentative and very experminental support for typerex. Enabled withaspiwack
2012-05-11Coqide awful coqtop options parsing fixuppboutill
2012-05-10Addedum to documentation of bullets: I now use the dedicated coq_exampleaspiwack
2012-05-10Documentation for Unfocused, braces and bullets.aspiwack
2012-05-09Little bit of code refactoring in CoqIDEppedrot
2012-05-09Bug 2767pboutill
2012-05-09Tactic unfold always asks for comma between names.pboutill
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-08Rephrasing section on Sorts in CIC chapter, accordingly to discussionsherbelin
2012-05-08Ref. man., ch. CIC: clarifying the redundancy coming from having bothherbelin
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-06Cleanly rewritten the undo manager, which did not support redo and hadppedrot
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-03Fixup r15251 second timepboutill
2012-05-02Added a bunch of new options relative to editor.ppedrot
2012-05-02Better style handling in CoqIDEppedrot
2012-05-02Fixed previous commitppedrot
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-05-02Quick workaround to handle badly designed Sourceview package.ppedrot
2012-05-02Coqide highligthing is back (done by gtksourceview).pboutill
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-02Always add the Coq_config.dirs to xdg_dirspboutill
2012-05-02Fixed #2769ppedrot
2012-05-02Added an interface call to exit Coqtop nicely.ppedrot
2012-05-02A notion of permutation for lists modulo a setoid equalityletouzey
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-28Fix make install after emacs mode troll (r15251)pboutill
2012-04-27Configure asks for lablgtk >= 2.12 with gtksourceview2pboutill
2012-04-27Coqide MacOS integration refreshpboutill
2012-04-27Partial revert of r15148 in order to compile with Camlp4pboutill
2012-04-27Implicit arguments of Definition are taken from the type when given by the user.pboutill
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with it...ppedrot
2012-04-26migration of g_obligations.ml4, ocamlbuild sideletouzey
2012-04-26migrate g_obligations.ml4 in parsingletouzey
2012-04-26Program: avoid staying in program mode after a failed Program commandletouzey
2012-04-25Avoid unneeded head-normalizations in coercion code.msozeau
2012-04-25Do not delta-head-normalize the proposition argument of sigma types during co...msozeau
2012-04-24Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...ppedrot
2012-04-23remove undocumented and scarcely-used tactic auto decompletouzey
2012-04-23Fix ocamlbuild compilation: remove subtac from *.itargetletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-31 04:53:56 +0000