| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-11-11 | Making explicit that a result is discarded (ocaml warning). | Hugo Herbelin | |
| 2016-08-29 | CoqIDE preserves unknown preferences. | Pierre-Marie Pédrot | |
| This allows a smoother transition between various versions of CoqIDE, by not erasing options which are unknown at the present time. | |||
| 2016-07-26 | Adding a flag in CoqIDE to configure UNIX/Windows line ending. | Pierre-Marie Pédrot | |
| Fixes both bugs #4924 and #4437. | |||
| 2016-06-02 | User queries can be terminated with "...". | Cyprien Mangin | |
| This appends the currently selected word to the query. Only queries that end with this are supported, "..." inside the query will just not work. | |||
| 2016-06-02 | 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-05-08 | Removing dead code and unused opens. | Pierre-Marie Pédrot | |
| 2016-01-21 | Merge branch 'v8.5' | Pierre-Marie Pédrot | |
| 2016-01-20 | Update copyright headers. | Maxime Dénès | |
| 2016-01-01 | Remove unplugged button from the interface. | Guillaume Melquiond | |
| 2015-12-14 | 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 | |
| 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. | |||
| 2015-09-26 | Use default GTK styles for CoqIDE tags. | Pierre-Marie Pédrot | |
| 2015-09-25 | Merge branch 'v8.5' | Pierre-Marie Pédrot | |
| 2015-09-24 | Fixing unsetting of CoqIDE tags. | Pierre-Marie Pédrot | |
| 2015-09-21 | Change the default modifiers for navigation. (Fix bug #4295) | Guillaume Melquiond | |
| 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. | |||
| 2015-09-20 | 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-13 | Merge branch 'v8.5' | Pierre-Marie Pédrot | |
| 2015-09-12 | Fixing bug #2498: Coqide navigation preferences delayed effect. | Pierre-Marie Pédrot | |
| 2015-08-31 | Switching to an event-based mechanism for CoqIDE preferences. | Pierre-Marie Pédrot | |
| There is no remaining hook in the preferences. In particular, the refresh_editor_hook is gone. | |||
| 2015-08-26 | Replacing old-style preferences in CoqIDE. | Pierre-Marie Pédrot | |
| There is no remaining global preference record anymore, every preference is now defined in the new event-based style. | |||
| 2015-08-16 | Using the new preference mechanism for colors in CoqIDE. | Pierre-Marie Pédrot | |
| A lot of legacy code has been removed in the process in favour of signal-based interactions. | |||
| 2015-08-16 | Taking advantage of the new type of preferences. | Pierre-Marie Pédrot | |
| 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. | |||
| 2015-08-16 | Turning CoqIDE preferences into new style. | Pierre-Marie Pédrot | |
| Some old style references remain because all type converters are not implemented yet. | |||
| 2015-08-16 | Simplifying CoqIDE preferences mechanism. | Pierre-Marie Pédrot | |
| 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. | |||
| 2015-02-15 | Changing default for CoqIDE project to append arguments. | Pierre-Marie Pédrot | |
| Implement wish #3582. | |||
| 2015-02-15 | CoqIDE now remembers the path of the last opened project. | Pierre-Marie Pédrot | |
| Fixes bug #2762. | |||
| 2015-02-14 | Attempt to be more colorblind friendly in CoqIDE (Close #4024) | Enrico Tassi | |
| 2015-02-12 | Fixing bug #4023. | Pierre-Marie Pédrot | |
| 2015-01-12 | Update headers. | Maxime Dénès | |
| 2015-01-05 | Adding an option to deactivate the progress bar. | Pierre-Marie Pédrot | |
| 2014-04-10 | CoqIDE: options for syntax highlighting | Enrico Tassi | |
| 2014-03-05 | Remove many superfluous 'open' indicated by ocamlc -w +33 | Pierre Letouzey | |
| 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. | |||
| 2013-10-11 | CoqIDE: make error background configurable | gareuselesinge | |
| #FFCCCC is quite dark on some beamers git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16881 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2013-08-08 | Gtk check_buttons do have a label | gareuselesinge | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16687 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2013-08-08 | Add a (very minimal) Proof General mode to CoqIDE | gareuselesinge | |
| documentation available in the help menu git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16685 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2013-08-08 | Fixing a warning in CoqIDE compilation. | ppedrot | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16668 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-12-19 | GtkData.set_default_modifiers and no access to <primary> in lablgtk -> ↵ | pboutill | |
| unsuable Coqide under MacOS makes Command not working on MacOS and consequently breaks all default shortcuts 'o' opens a file 'w' close the buffer ... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16103 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-12-14 | Moved Stringset and Stringmap to String namespace. | ppedrot | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16068 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-12-04 | Display Menu now called View Menu (in CoqIDE preferences). | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16018 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-09-12 | Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS | pboutill | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15793 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-09-04 | Fix coqide compilation with lablgtk 2.16 | pboutill | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15772 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-08-08 | Updating headers. | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-07-25 | Bug 2706: Coqide and layout that use special modifiers | pboutill | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15649 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |