| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-04-27 | CoqiDE: Load coqide.keys after coqiderc (addressing part of #9899). | Hugo Herbelin | |
| This avoids the modifiers keys to overwrite changes made in coqide.keys. | |||
| 2019-04-25 | [vernac] [ast] Make location info an attribute of vernaculars. | Emilio Jesus Gallego Arias | |
| This has been a mess for quite a while, we try to improve it. | |||
| 2019-04-25 | Fix PKG in ide/.merlin.in for gtk3 | Gaëtan Gilbert | |
| 2019-04-23 | [ide] update coq-ssreflect.lang wrt under tactic | Enrico Tassi | |
| 2019-04-17 | Merge PR #9876: Command-line setters for options | Emilio Jesus Gallego Arias | |
| Ack-by: SkySkimmer Reviewed-by: Zimmi48 Reviewed-by: ejgallego Reviewed-by: gares | |||
| 2019-04-15 | [CoqIDE] Fix build system for macOS | Vincent Laporte | |
| 2019-04-12 | Unify Set and Unset handling for options | Gaëtan Gilbert | |
| Not sure if the idetop.set_options was correctly changed, ocaml types pass at least. | |||
| 2019-04-09 | [api] [proof] Alert users that `Vernacstate.Proof_global` is not to be used. | Emilio Jesus Gallego Arias | |
| We alert users that `Vernacstate.Proof_global` is a Coq internal module and should not be used to workaround lack of state threading. | |||
| 2019-04-08 | Fix #9812: CoqIDE on gtk3 has wrong defaults for selection BG. | Pierre-Marie Pédrot | |
| Unfortunately, the only sane fix I was able to hack was to deactivate the possibility to change the background colour altogether. Trying to do otherwise is a real Pandora's box which is ultimately triggered by the lack of lablgtk3 bindings for the GtkStyleContext class. I tried a lot of alternative approaches, to no avail. This includes catching the selection signal, reimplementing selection by hand in GtkTextView, and even reading the internal details of the GTK implementation turned not that helpful. For the time being (8.10 beta) I think we do not have much choice. | |||
| 2019-04-03 | Protect some I/O routines from SIGALRM | Maxime Dénès | |
| This is necessary to prevent Coq from sending ill-formed output in some scenarios involving `Timeout`. Co-authored-by: Enrico Tassi <Enrico.Tassi@inria.fr> | |||
| 2019-03-27 | [vernac] Adapt to removal of imperative proof state. | Emilio Jesus Gallego Arias | |
| 2019-03-27 | Merge PR #9807: Fix CoqIDE progress bar. | Enrico Tassi | |
| Reviewed-by: Zimmi48 | |||
| 2019-03-22 | Merge PR #8560: Unicode bindings for CoqIDE that works out of the box | Pierre-Marie Pédrot | |
| Reviewed-by: Zimmi48 Ack-by: charguer Reviewed-by: gares Reviewed-by: ppedrot | |||
| 2019-03-20 | Fix CoqIDE progress bar. | Pierre-Marie Pédrot | |
| 2019-03-19 | [coqide] [ci] Update GTK toolchain to lablgtk3 | Emilio Jesus Gallego Arias | |
| - Update Docker images to install compatible version of lablgtk3 - We remove unnecesary variables from configure. - We fix path detection of GTK libs in makefile | |||
| 2019-03-19 | Fix for post-beta3 lablgtk3 changes about cairo (from Claudio). | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Adding configurable color for incompletely processed Qed. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: More informative message when failing editing/saving preferences. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Ensuring that load/save windows are not hidden by their parent. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Use modify_bg rather than modify_base to change background color. | Hugo Herbelin | |
| The effect of modify_base is told to be widget-dependent. It uses to change the background with gtk2 but not with gtk3. So we use the more explicit modify_bg. | |||
| 2019-03-19 | CoqIDE: Ensure that the main 3 windows do not shrink when w/o contents. | Hugo Herbelin | |
| This was automatic in gtk2 (apparently because of the specification not being granted). This is needed with gtk3. | |||
| 2019-03-19 | CoqIDE: Ensure that contents of the pref window expands as much as possible. | Hugo Herbelin | |
| This was not needed in gtk2 but is needed with gtk3. | |||
| 2019-03-19 | CoqIDE: Using Grid instead of Table. | Hugo Herbelin | |
| This is not mandatory for gtk+3 since it is deprecated from only gtk 3.4. This would be needed for gtk+4 though. | |||
| 2019-03-19 | CoqIDE: Adapting to new interface of GPack.notebook. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Replacing deprecated color_of_string with color_parse. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: No more explicit activation of tooltips on toolbar. | Hugo Herbelin | |
| According to https://developer.gnome.org/gtk2/stable/GtkToolbar.html#gtk-toolbar-set-tooltips, tooltips are now managed globally by gtk-enable-tooltips which is true by default. | |||
| 2019-03-19 | CoqIDE: Stippling using bitmap no more supported for incomplete Qed. | Hugo Herbelin | |
| Was formerly displaying a stippled ("pointillé") light blue. Now only a light blue. | |||
| 2019-03-19 | CoqIDE: wm_name and wm_class are now packed into wmclass. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Now calling destroy signal via widget_signals. | Hugo Herbelin | |
| Thanks to J. Garrigue for the hint. | |||
| 2019-03-19 | CoqIDE: Deactivation pixmap-based progression bar (wg_Segment.ml). | Hugo Herbelin | |
| Indeed, gtk3 has no more Pixmap, it should use Cairo instead. We also deactivate the functions in the graph of dependency. In particular, this also blocks coqOps.ml. | |||
| 2019-03-19 | CoqIDE: Moving last use of gtk2-only FileSelection to FileChooserDialog. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Deactivating the user queries and wizard tactics configuration. | Hugo Herbelin | |
| They rely on list and strings from configwin which themselves rely on gtk2 only widgets. | |||
| 2019-03-19 | CoqIDE: Deactiving the list and string configuration tools. | Hugo Herbelin | |
| They rely on gtk2 clist and would need to be changed to list_store. | |||
| 2019-03-19 | CoqIDE: Ensuring that gtk is initialized before other inits done in ideutils.ml. | Hugo Herbelin | |
| This seems fragile: does it depend on the order files are loaded? (It was working for gtk2 when gtk initialization was in coqide_main.ml but it does not work anymore for CoqIDE built on gtk3). Eventually, it might be needed to centralize all initialization side effects in one place. | |||
| 2019-03-19 | CoqIDE: Change name of module: Sourceview2 -> Sourceview3 | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3. | Hugo Herbelin | |
| 2019-03-19 | CoqIDE: Replacing Tooltips with gtk+3 compliant Tooltip. | Hugo Herbelin | |
| 2019-03-18 | [ide] Address warning 50 | Vincent Laporte | |
| 2019-03-18 | [CoqIDE] dune rules for installing bindings | Vincent Laporte | |
| 2019-03-18 | final polishing for coqide bindings | charguer | |
| 2019-03-18 | Latex to LaTex | charguer | |
| 2019-03-18 | implementation installation of default unicode bindings | charguer | |
| 2019-03-18 | bindings files storage | charguer | |
| 2019-03-18 | binding generator for coqide | charguer | |
| 2019-03-18 | cosmetic changes | charguer | |
| 2019-03-18 | support for coqide commande line arguments | charguer | |
| 2019-03-18 | working set of bindings | charguer | |
| 2019-03-18 | latex to unicode in coqide | charguer | |
| 2019-03-04 | [dune] [ide] Don't install the internal CoqIDE UI library. | Emilio Jesus Gallego Arias | |
| This library is unstable and not meant to be consumed by anyone. We thus make it private. | |||
| 2019-02-28 | Merge PR #9621: [ide] only use Coq_config for the URL of the manual | Pierre-Marie Pédrot | |
| Ack-by: JasonGross Reviewed-by: ejgallego Ack-by: gares Reviewed-by: ppedrot | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |