| Commit message (Expand) | Author | Age |
* | Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested. | ppedrot | 2012-05-23 |
* | Cleaned prerr_endline use. | ppedrot | 2012-05-23 |
* | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill | 2012-05-23 |
* | Fixed #2782. | ppedrot | 2012-05-23 |
* | configure: camlp4 is now tried when camlp5 isn't found | letouzey | 2012-05-23 |
* | configure: add support of MinGW Win32 environment (fix #2526) | letouzey | 2012-05-23 |
* | Reducing CoqIDE start option queries. | ppedrot | 2012-05-23 |
* | Minilib: Always add the Coq_config.dirs to xdg_dirs (again) | letouzey | 2012-05-22 |
* | Permutation: remove a compatibility notation which doesn't help MathClasses | letouzey | 2012-05-22 |
* | SetoidList: explicit the fact that InfA_compat won't use ltA_strorder | letouzey | 2012-05-22 |
* | List + Permutation : more results about nth_error and nth | letouzey | 2012-05-18 |
* | Fixed bug #2781... (We hope so.) | ppedrot | 2012-05-16 |
* | Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish. | ppedrot | 2012-05-16 |
* | Coqide: make some paths win32-compliant | letouzey | 2012-05-16 |
* | Revert commit 15287 : the env variables are indeed access at launch-time | letouzey | 2012-05-16 |
* | Intuition: temporary(?) restore the unconditional unfolding of not | letouzey | 2012-05-15 |
* | Coqide: minor formatting improvement of an error message | letouzey | 2012-05-15 |
* | Coqide: in win32 command given to cmd.exe should be more quoted | letouzey | 2012-05-15 |
* | when cross-compiling with mingw32, let's fix the Filename.dir_sep | letouzey | 2012-05-15 |
* | Makefile: Really avoid locales in $(DATE) | letouzey | 2012-05-15 |
* | Coqide: display initial connection errors in popups instead of on stderr | letouzey | 2012-05-15 |
* | Notations are back in the "in" clause of pattern matching. | pboutill | 2012-05-15 |
* | Added semantic completion in CoqIDE. (Should also add an option for that...) | ppedrot | 2012-05-13 |
* | Tweaking options of CoqIDE. | ppedrot | 2012-05-13 |
* | Some cosmetic changes w.r.t. the previous commit. | ppedrot | 2012-05-13 |
* | Heavily rewritten the coqtop management process of coqide. The coqtop | ppedrot | 2012-05-13 |
* | Added a SearchAbout-like primitive in coqtop interface. | ppedrot | 2012-05-13 |
* | Added an interface primitive to ask coqtop for its internal versions. | ppedrot | 2012-05-13 |
* | Vectors takes advantage of pattern matching compiler fixup | pboutill | 2012-05-11 |
* | Impossible branches inference fixup (bug 2761) | pboutill | 2012-05-11 |
* | Makefile.build typo in echo | pboutill | 2012-05-11 |
* | Slightly modified the coqtop interface by adding an identifier in | ppedrot | 2012-05-11 |
* | Tentative and very experminental support for typerex. Enabled with | aspiwack | 2012-05-11 |
* | Coqide awful coqtop options parsing fixup | pboutill | 2012-05-11 |
* | Addedum to documentation of bullets: I now use the dedicated coq_example | aspiwack | 2012-05-10 |
* | Documentation for Unfocused, braces and bullets. | aspiwack | 2012-05-10 |
* | Little bit of code refactoring in CoqIDE | ppedrot | 2012-05-09 |
* | Bug 2767 | pboutill | 2012-05-09 |
* | Tactic unfold always asks for comma between names. | pboutill | 2012-05-09 |
* | End of Gtksourceview switch clean. | pboutill | 2012-05-09 |
* | Removing dead code in CoqIDE made useless by the GtkSourceView switch. | ppedrot | 2012-05-08 |
* | Fixed access to environment variables in CoqIDE. Up to now, those | ppedrot | 2012-05-08 |
* | Rephrasing section on Sorts in CIC chapter, accordingly to discussions | herbelin | 2012-05-08 |
* | Ref. man., ch. CIC: clarifying the redundancy coming from having both | herbelin | 2012-05-08 |
* | Rewritten the autocompletion mechanism of CoqIDE, and stuffed it | ppedrot | 2012-05-08 |
* | Cleanly rewritten the undo manager, which did not support redo and had | ppedrot | 2012-05-06 |
* | Renamed Undo to conform to CoqIDE widget naming convention. In addition, | ppedrot | 2012-05-05 |
* | Hack to handle trailing whitespace display in CoqIDE | ppedrot | 2012-05-05 |
* | Fixup r15251 second time | pboutill | 2012-05-03 |
* | Added a bunch of new options relative to editor. | ppedrot | 2012-05-02 |