coq/ide, branch master The formal proof system Merge PR #14068: [build] Remove leftovers of code signing / OSX IDE infrastructure 2021-04-19T18:46:31+00:00 coqbot-app[bot] 2021-04-19T18:46:31+00:00 c3d7754ec2045a964974698821adb73c586b4e41 Reviewed-by: Zimmi48 Ack-by: jfehrle 
Reviewed-by: Zimmi48
Ack-by: jfehrle
Merge PR #14060: Coqide: on MacOS X, allow the command (⌘) key to be set/unset as a modifier 2021-04-19T17:06:18+00:00 Pierre-Marie Pédrot 2021-04-19T17:06:18+00:00 d89f5c935af6e6055691b9980c7dfdfa481b6c4f Reviewed-by: ppedrot 
Reviewed-by: ppedrot
[build] Remove leftovers of codesigning / OSX IDe infrastructure. 2021-04-19T11:44:08+00:00 Emilio Jesus Gallego Arias 2021-04-04T13:17:37+00:00 819e8a4f84bc6798b4e890090fb74a3f02626d6b This is not used anymore, and after #14122 the makefile parts for the dmg generation are not used anymore. Closes #7476 . 
This is not used anymore, and after #14122 the makefile parts for the
dmg generation are not used anymore.

Closes #7476 .
Coqide: on MacOS X, allow the command key to be set/unset as a modifier. 2021-04-18T17:18:45+00:00 Hugo Herbelin 2021-04-02T17:19:48+00:00 32cc7cb03f879d089e226958ab8e89cbcde79d10 This is done by: - allowing the <Meta> gtk modifier (gtk internal name for Command) to be used as a modifier by default on MacOS X - printing it <cmd> in the preference window when on MacOS X 
This is done by:
- allowing the <Meta> gtk modifier (gtk internal name for Command) to
  be used as a modifier by default on MacOS X
- printing it <cmd> in the preference window when on MacOS X
Merge PR #14046: make critical sections safe in the presence of exceptions 2021-04-12T12:34:16+00:00 coqbot-app[bot] 2021-04-12T12:34:16+00:00 271445decd0fc1a37da3009f148f2e68c7168fe1 Reviewed-by: ejgallego Ack-by: gares Ack-by: SkySkimmer Ack-by: gadmm 
Reviewed-by: ejgallego
Ack-by: gares
Ack-by: SkySkimmer
Ack-by: gadmm
Make critical sections safe in the presence of exceptions 2021-04-09T19:05:43+00:00 Lasse Blaauwbroek 2021-04-01T07:18:00+00:00 520ac61dfe5a6e865cb7b10f4a822c0d72f3ded9 We introduce the `with_lock` combinator that locks a mutex in an atomic fashion. This ensures that exceptions thrown by signals will not leave the system in a deadlocked state. 
We introduce the `with_lock` combinator that locks a mutex in an atomic fashion.
This ensures that exceptions thrown by signals will not leave the system in a
deadlocked state.
Fix a GTK warning in CoqIDE introduced by #14063. 2021-04-08T14:14:24+00:00 Pierre-Marie Pédrot 2021-04-08T14:14:24+00:00 bfb350e2cd04699893832531f66746d85538896d The Variant entry was appearing twice, leading to a duplicate warning. 
The Variant entry was appearing twice, leading to a duplicate warning.
Merge PR #14062: Fixes #11690: wrongly toggled coqide printing matching flag 2021-04-08T11:32:09+00:00 Pierre-Marie Pédrot 2021-04-08T11:32:09+00:00 2b8d8b996b7ae9b5c170792cbf45c4fd96ed3658 Reviewed-by: ppedrot 
Reviewed-by: ppedrot
Merge PR #14077: Add odoc warnings for empty packages. 2021-04-06T18:12:14+00:00 coqbot-app[bot] 2021-04-06T18:12:14+00:00 daba2de6b642383293dd196a76db95c685868992 Reviewed-by: ejgallego 
Reviewed-by: ejgallego
Merge PR #13741: Remove omega tactic (deprecated in 8.12) 2021-04-06T14:55:06+00:00 coqbot-app[bot] 2021-04-06T14:55:06+00:00 2360e5ba31c350f25d49fc71736282bfad9975ed Reviewed-by: Zimmi48 Ack-by: JasonGross Ack-by: silene Ack-by: SkySkimmer Ack-by: olaure01 
Reviewed-by: Zimmi48
Ack-by: JasonGross
Ack-by: silene
Ack-by: SkySkimmer
Ack-by: olaure01