coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Coqide: better handling of gtk messages + fix win32 stdout/stderr rerouting	letouzey	2012-12-07
*	Coqide: no reason to ignore Ctrl-C	letouzey	2012-12-07
*	Coqide: use "prefs" ident instead of "current" (vague when unqualified)	letouzey	2012-12-07
*	Coqide: opening non-existing files won't create them immediately anymore	letouzey	2012-12-07
*	Coqide: nicer creation of timers	letouzey	2012-12-07
*	Coqide: code cleanup	letouzey	2012-12-07
*	More monomorphizations	ppedrot	2012-11-13
*	Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)	letouzey	2012-10-31
*	Text inserted by insert_this_phrase_on_success correct tagging	pboutill	2012-10-23
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	Added Print Assumptions command to CoqIDE	ppedrot	2012-09-10
*	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot	2012-09-09
*	Added a comment/uncomment command to CoqIDE	ppedrot	2012-09-06
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
*	Updating headers.	herbelin	2012-08-08
*	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot	2012-07-16
*	Display the "unjustified" information returned by coqtop.	ppedrot	2012-07-13
*	A new status Unsafe in Interface. Meant for commands such as Admitted.	aspiwack	2012-07-12
*	Reversed message display order in CoqIDE	ppedrot	2012-06-29
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
*	Added the show_margin_right option to CoqIDE	ppedrot	2012-06-26
*	Fixing awkward copy & paste mechanism in CoqIDE.	ppedrot	2012-06-26
*	Now CoqIDE auto-sets the printing width of the goal display.	ppedrot	2012-06-26
*	Small code compaction and factoring in CoqIDE.	ppedrot	2012-06-25
*	Cosmetic changes	ppedrot	2012-06-24
*	Made the message view of CoqIDE abstract.	ppedrot	2012-06-24
*	Fixed cursor reset in CoqIDE backtrack.	ppedrot	2012-06-23
*	Factorized bactracking code in CoqIDE. This fixes bug #2821 btw.	ppedrot	2012-06-23
*	Fixing a potential bug of coqtop management in CoqIDE due to a	ppedrot	2012-06-23
*	Fixed #2821.	ppedrot	2012-06-21
*	Fixing accelerator dynamic modification in CoqIDE.	ppedrot	2012-06-21
*	Fixed an error display bug in CoqIDE.	ppedrot	2012-05-29
*	Fix r15259 to get rid of bug 2783	pboutill	2012-05-25
*	Fixed #2769.	ppedrot	2012-05-25
*	Rewritten the handling of coq sentence processing, hopefully being	ppedrot	2012-05-23
*	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
*	Reducing CoqIDE start option queries.	ppedrot	2012-05-23
*	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey	2012-05-16
*	Coqide: display initial connection errors in popups instead of on stderr	letouzey	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
*	Coqide awful coqtop options parsing fixup	pboutill	2012-05-11
*	Little bit of code refactoring in CoqIDE	ppedrot	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