coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
* \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\| \|
\| *	Default colors for CoqIDE are actually applied.	Cyprien Mangin	2017-06-20
\| \| \| \| \| \| \| \| \| \| \| \|	This fixes bug #5380 in particular. More generally, tags were not updated to the correct default value if the corresponding line in the configuration file was missing.
\| *	Bump year in headers.	Maxime Dénès	2017-06-01
\| \|
* \|	Merge PR#356: Making management of installation directories more structured, ↵	Maxime Dénès	2017-05-30
\|\ \ \| \| \| \| \| \| \| \| \|	more uniform
\| * \|	Relying on computation done in Envars to discover the installation directories.	Hugo Herbelin	2017-05-29
\| \| \| \| \| \| \| \| \| \| \| \|	This allows to share the test for possible relocalisation done in envars.ml.
* \| \|	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
\|/ / \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Deprecations which can't be fixed in 4.02.3 are locally wrapped with [@@@ocaml.warning "-3"]. The only ones encountered are - capitalize to capitalize_ascii and variants. Changing to ascii would break coqdoc -latin1 and maybe other things though. - external "noalloc" to external [@@noalloc]
* \|	Use [method!] to override methods (warning 7)	Gaetan Gilbert	2017-04-27
\| \|
* \|	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\|/
*	Coqide: fixing default local links for refman and stdlib.	Hugo Herbelin	2016-11-11
\|
*	Making explicit that a result is discarded (ocaml warning).	Hugo Herbelin	2016-11-11
\|
*	CoqIDE preserves unknown preferences.	Pierre-Marie Pédrot	2016-08-29
\| \| \| \| \|	This allows a smoother transition between various versions of CoqIDE, by not erasing options which are unknown at the present time.
*	Adding a flag in CoqIDE to configure UNIX/Windows line ending.	Pierre-Marie Pédrot	2016-07-26
\| \| \| \|	Fixes both bugs #4924 and #4437.
*	User queries can be terminated with "...".	Cyprien Mangin	2016-06-02
\| \| \| \| \| \|	This appends the currently selected word to the query. Only queries that end with this are supported, "..." inside the query will just not work.
*	Dynamic modifier for Queries menu in CoqIDE.	Cyprien Mangin	2016-06-02
\|
*	Better sanitization of user queries in CoqIDE.	Cyprien Mangin	2016-06-02
\|
*	Add an option to configure the modifier for Queries.	Cyprien Mangin	2016-06-02
\|
*	Merge the user queries tab with the shortcut tab.	Cyprien Mangin	2016-06-02
\|
*	Slightly better interface to edit queries.	Cyprien Mangin	2016-06-02
\|
*	Add user-created queries to CoqIDE.	Cyprien Mangin	2016-06-02
\|
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
\|
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
\| \|
* \|	Remove unplugged button from the interface.	Guillaume Melquiond	2016-01-01
\| \|
\| *	CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' message	Enrico Tassi	2015-12-14
\| \|
\| *	Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk	Maxime Dénès	2015-12-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	2.14. Debian ships with lablgtk 2.16 only since a few months, so we apply the fix to trunk instead. This reverts commits: 490160d25d3caac1d2ea5beebbbebc959b1b3832. ef8718a7fd3bcd960d954093d8c636525e6cc492. 6f9cc3aca5bb0e5684268a7283796a9272ed5f9d. 901a9b29adf507370732aeafbfea6718c1842f1b.
* \|	Use default GTK styles for CoqIDE tags.	Pierre-Marie Pédrot	2015-09-26
\| \|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
* \|	Fixing unsetting of CoqIDE tags.	Pierre-Marie Pédrot	2015-09-24
\| \|
\| *	Change the default modifiers for navigation. (Fix bug #4295)	Guillaume Melquiond	2015-09-21
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	On most systems (including Windows, according to the bug report), shortcuts Ctrl+Alt+Arrows are preempted by the window manager by default. So don't use them for navigation in Coqide by default. Note that this change only has an impact when installing on a fresh system; it won't change anything for existing users.
* \|	Pluging in tag preferences into buffer printing.	Pierre-Marie Pédrot	2015-09-20
\| \|
* \|	Adding standard printing tags to CoqIDE.	Pierre-Marie Pédrot	2015-09-20
\| \|
* \|	Adding a tag preference	Pierre-Marie Pédrot	2015-09-20
\| \|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-13
\|\\|
\| *	Fixing bug #2498: Coqide navigation preferences delayed effect.	Pierre-Marie Pédrot	2015-09-12
\| \|
* \|	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
\| \| \| \| \| \| \| \| \| \|	There is no remaining hook in the preferences. In particular, the refresh_editor_hook is gone.
* \|	Replacing old-style preferences in CoqIDE.	Pierre-Marie Pédrot	2015-08-26
\| \| \| \| \| \| \| \| \| \|	There is no remaining global preference record anymore, every preference is now defined in the new event-based style.
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
\| \| \| \| \| \| \| \| \| \|	A lot of legacy code has been removed in the process in favour of signal-based interactions.
* \|	Taking advantage of the new type of preferences.	Pierre-Marie Pédrot	2015-08-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	We use uniform functions instead of code duplication. Likewise, we disentangle the hook mechanisms by using callbacks connected to preferences instead. Only the easy hook bits were removed. The most awing one, the editor refreshing hook, is still alive.
* \|	Turning CoqIDE preferences into new style.	Pierre-Marie Pédrot	2015-08-16
\| \| \| \| \| \| \| \| \| \|	Some old style references remain because all type converters are not implemented yet.
* \|	Simplifying CoqIDE preferences mechanism.	Pierre-Marie Pédrot	2015-08-16
\|/ \| \| \| \| \| \|	We use a class-based system instead of the old record-based system. This allows for more uniformity and the possibility to define complex interactions with preferences based on GTK signals. This will allow to simplify some architectural choices.
*	Changing default for CoqIDE project to append arguments.	Pierre-Marie Pédrot	2015-02-15
\| \| \| \|	Implement wish #3582.
*	CoqIDE now remembers the path of the last opened project.	Pierre-Marie Pédrot	2015-02-15
\| \| \| \|	Fixes bug #2762.
*	Attempt to be more colorblind friendly in CoqIDE (Close #4024)	Enrico Tassi	2015-02-14
\|
*	Fixing bug #4023.	Pierre-Marie Pédrot	2015-02-12
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	Adding an option to deactivate the progress bar.	Pierre-Marie Pédrot	2015-01-05
\|
*	CoqIDE: options for syntax highlighting	Enrico Tassi	2014-04-10
\|
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
\| \| \| \| \| \| \| \|	With ocaml 4.01, the 'unused open' warning also checks the mli :-) Beware: some open are reported as useless when compiling with camlp5, but are necessary for compatibility with camlp4. These open are now marked with a comment.