Stream: GitHub notifications

Topic: Coq Notifications

Coq Github Bot (May 07 2020 at 19:38):

GitHub webhook has been successfully configured by Zimmi48.

Coq Github Bot (May 07 2020 at 19:41):

GitHub webhook has been successfully configured by Zimmi48.

Théo Zimmermann (May 07 2020 at 19:44):

Obviously, we shouldn't have all GitHub events result in a new Zulip message, so I've selected a bunch of things that will mostly be non-redundant with GitHub notifications, like wiki edits, team membership changes, repository creation and, specifically at the level of the Coq repository, branch and tag creation and deletion.

Coq Github Bot (May 08 2020 at 10:18):

Zimmi48:

• edited CoqWG 2020 05 04

Coq Github Bot (May 08 2020 at 10:25):

ppedrot pushed 7 commits to branch master. Commits by herbelin (6) and ppedrot (1).

• Slight modification of the partial-order algorithm so that it does not (8a02738)
• Warn when a (co)fixpoint is not truly recursive. (a6b2029)
• Fixing #11903: Fixpoints not truly recursive in standard library. (df8df46)
• Changing fixpoint message "decreasing" -> "guarded". (653a06b)
• Testing different combinations of non truly recursive (co)fixpoints. (2d8cbfd)
• Adding change logs for PR #12121. (d14a43f)
• Merge PR #12121: Fixes #11903 and warns about non truly-recursive (co)fixpoints (8c13e5b)

Coq Github Bot (May 08 2020 at 10:27):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

• Coqide completion: Avoiding using an iterator in an apparently sensitive code. (7d61471)
• Change log for #12068 (Coqide segfault tentative fix). (bf0c121)
• CoqIDE completion: Relying on INSERT mark of the buffer. (fc2bd56)
• Merge PR #12068: Coqide completion: tentative fix for #11943 (979090a)

Coq Github Bot (May 08 2020 at 10:31):

Zimmi48 pushed 3 commits to branch master. Commits by mpu (2) and Zimmi48 (1).

• Add an example to motivate strictly positive occurrences check (8c2bd9d)
• Drop some the coqtop output, rephrase a bit (bec12fd)
• Merge PR #12268: Add an example to motivate strictly positive occurrences check (ca04e60)

Coq Github Bot (May 08 2020 at 10:34):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and llelf (1).

• doc: one can save named lemmas Save too (665ace8)
• Merge PR #12281: [doc] named lemmas can be Saved too (a95ff1f)

Coq Github Bot (May 08 2020 at 15:21):

rafoo:

• edited Extraction

Coq Github Bot (May 08 2020 at 17:48):

pi8027 pushed 2 commits to branch master. Commits by JasonGross (1) and pi8027 (1).

• HaskellExtr: Add type annotations to Prelude.== (ffe7c11)
• Merge PR #12263: HaskellExtr: Add type annotations to Prelude.== (343591c)

Coq Github Bot (May 08 2020 at 19:09):

cpitclaudel pushed 4 commits to branch master. Commits by mpu (3) and cpitclaudel (1).

• Cleanup formatting in .. coqtop:: directives (5e385d0)
• Simplify splitting (2449750)
• Recursively look for the first string node (71d0315)
• Merge PR #12272: Cleanup formatting in .. coqtop:: directives (3d01f12)

Coq Github Bot (May 09 2020 at 10:48):

maximedenes pushed 2 commits to branch master. Commits by fajb (1) and maximedenes (1).

• [micromega] use Coqlib.lib_ref to get Coq constants. (288a97e)
• Merge PR #11990: [micromega] use Coqlib.lib_ref to get Coq constants. (1bf9ba6)

Coq Github Bot (May 09 2020 at 10:54):

maximedenes pushed 3 commits to branch master. Commits by proux01 (2) and maximedenes (1).

• Fix a typo (6356d32)
• Remove # keywords in Primitive (1322e83)
• Merge PR #12122: Avoid registering as keywords the #... in Primitive (3a7ff44)

Coq Github Bot (May 09 2020 at 11:00):

maximedenes pushed 2 commits to branch master. Commits by maximedenes (1) and ppedrot (1).

• Document the signing procedure of released binary packages. (5cf5f3b)
• Merge PR #12040: Document the signing procedure of released binary packages. (3d20ced)

Coq Github Bot (May 09 2020 at 13:05):

herbelin pushed 3 commits to branch master. Commits by proux01 (2) and herbelin (1).

• Move availability_of_prim_token (cacb6fe)
• Fix #12159 (Numeral Notations do not play well with multiple scopes for the same inductive) (4c39126)
• Merge PR #12163: Fix #12159 (Numeral Notations do not play well with multiple scopes for the same inductive) (56e2d2f)

Coq Github Bot (May 09 2020 at 13:07):

herbelin pushed 4 commits to branch master. Commits by olaure01 (3) and herbelin (1).

• add incl_map incl_filter NoDup_filter (8ed17d9)
• strenghten nth_ext (14e5b1a)
• add incl_Forall_in_iff (1a11ead)
• Merge PR #12237: [stdlib] [List] add results around incl, filter and nth (86afb97)

Coq Github Bot (May 09 2020 at 13:10):

herbelin pushed 3 commits to branch master. Commits by ppedrot (2) and herbelin (1).

• Add helper API to define low-level Ltac functions. (f694d42)
• Export API to recover values out of Ltac application. (c39b622)
• Merge PR #12204: Ltac helper functions API (5681ea2)

Coq Github Bot (May 09 2020 at 18:59):

SkySkimmer pushed 3 commits to branch master. Commits by ejgallego (2) and SkySkimmer (1).

• [declare] Remove fix_exn internal access. (ad84e69)
• [declare] Merge DeclareDef into Declare (6675e7c)
• Merge PR #12241: [declare] Merge DeclareDef into Declare (34e2e79)

Coq Github Bot (May 09 2020 at 22:08):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

• [sphinx] Add links to other versions of the refman (2f74daa)
• Merge PR #12286: [sphinx] Add links to other versions of the refman (2760d13)

Jason Gross (May 10 2020 at 04:11):

Could the commit notifications go to their own topic (separate from other github notifications), so I can mute them without muting the other notifications? They seem quite noisy.

Coq Github Bot (May 10 2020 at 06:47):

MSoegtropIMC pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and VincentSe (1).

• Define CRzero and CRone via CR_of_Q (598e24a)
• Merge PR #12287: Define CRzero and CRone via CR_of_Q (d567eee)

Coq Github Bot (May 10 2020 at 09:54):

kyoDralliam pushed 2 commits to branch master. Commits by Blaisorblade (1) and kyoDralliam (1).

• Ensure eintros allows creating evars (c52756a)
• Merge PR #12235: Ensure eintros allows creating evars (aab4790)

Théo Zimmermann (May 10 2020 at 10:30):

Could the commit notifications go to their own topic (separate from other github notifications), so I can mute them without muting the other notifications? They seem quite noisy.

Sure! That's doable!

EDIT: Done.

Coq Github Bot (May 11 2020 at 11:52):

ppedrot deleted branch macos-binary-8.11.1.

Coq Github Bot (May 11 2020 at 13:33):

ejgallego:

• edited Coq Calls

Coq Github Bot (May 11 2020 at 13:34):

ejgallego:

• created Coq Call 2020 05 13

Gaëtan Gilbert (May 11 2020 at 15:02):

Can we have PR open/close events too?

Théo Zimmermann (May 11 2020 at 15:04):

Sure!

Théo Zimmermann (May 11 2020 at 15:06):

Actually, there's no way to filter only for open/close events of PRs. If we add the "pull request" events, we also get all the "edited", "synchronized", "labeled", etc. events, so that would be a bit much.

Théo Zimmermann (May 11 2020 at 15:07):

Actually, now that I think about it, coqbot could take care of forwarding the open/close events only to Zulip.

Théo Zimmermann (May 11 2020 at 15:07):

Could you open an issue about this on the bot's repository? I won't address it this week with the upcoming freeze.

Coq Github Bot (May 11 2020 at 15:32):

gares:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 11:34):

ejgallego:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 11:36):

ejgallego:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 11:41):

SkySkimmer:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 13:51):

ejgallego:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 13:55):

Janno:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 14:03):

Zimmi48:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 14:09):

ejgallego:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 14:13):

ejgallego:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 15:01):

Zimmi48:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 15:03):

mattam82:

• edited Coq Call 2020 05 13

Coq Github Bot (May 13 2020 at 15:04):

mattam82:

• edited Coq Call 2020 05 13

Coq Github Bot (May 14 2020 at 12:28):

ejgallego added ejgallego to the test-suite-maintainers team.

Coq Github Bot (May 19 2020 at 14:47):

Zimmi48:

• edited Coq Calls

Coq Github Bot (May 19 2020 at 14:51):

Zimmi48:

• created Coq Call 2020 05 20

Coq Github Bot (May 19 2020 at 17:33):

ejgallego:

• edited Coq Call 2020 05 20

Coq Github Bot (May 20 2020 at 10:00):

ejgallego:

• edited Coq Call 2020 05 20

Coq Github Bot (May 20 2020 at 15:03):

mattam82:

• edited Coq Call 2020 05 20

Notification Bot (May 21 2020 at 20:15):

This topic was moved here from #Coq devs & plugin devs > Github Notifications by Théo Zimmermann

Coq Github Bot (May 25 2020 at 10:12):

Zimmi48 added jtcoolen to bot.

Coq Github Bot (May 27 2020 at 08:58):

ejgallego:

• edited Coq Calls

Coq Github Bot (Jun 02 2020 at 11:19):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Jun 02 2020 at 11:29):

Zimmi48:

• created Coq Call 2020 06 03

Coq Github Bot (Jun 02 2020 at 15:58):

Zimmi48:

• edited Coq Call 2020 06 03

Coq Github Bot (Jun 02 2020 at 19:43):

JasonGross:

• edited Coq Call 2020 06 03

Coq Github Bot (Jun 02 2020 at 20:12):

beta-ziliani:

• edited Coq Call 2020 06 03

Coq Github Bot (Jun 03 2020 at 11:46):

mattam82:

• edited Coq Call 2020 06 03

Coq Github Bot (Jun 03 2020 at 17:02):

mattam82:

• edited Coq Call 2020 06 03

Coq Github Bot (Jun 10 2020 at 12:50):

mattam82:

• edited Coq Calls

Coq Github Bot (Jun 11 2020 at 15:04):

Zimmi48:

• created Refman 8.12

Coq Github Bot (Jun 11 2020 at 17:57):

jfehrle:

• edited Refman 8.12

Coq Github Bot (Jun 12 2020 at 19:25):

aa755:

• created WIP: Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 12 2020 at 19:40):

aa755:

• edited WIP: Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 12 2020 at 19:49):

aa755:

• edited WIP: Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 01:21):

aa755:

• edited WIP: Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 14:38):

aa755:

• edited WIP: Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 14:47):

aa755:

• edited WIP: Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 14:58):

aa755:

• edited WIP: Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 15:01):

aa755:

• edited Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 15:06):

aa755:

• edited Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 15:25):

aa755:

• edited Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 15:27):

aa755:

• edited Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 16:26):

aa755:

• edited Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 13 2020 at 16:42):

aa755:

• edited Remote Collaborative Editing of Coq Files

Coq Github Bot (Jun 15 2020 at 12:51):

palmskog:

• created VerifyingReleases

Coq Github Bot (Jun 15 2020 at 13:06):

SkySkimmer:

• created Coq Call 2020 06 17
• edited Coq Calls

Coq Github Bot (Jun 16 2020 at 17:40):

Zimmi48:

• edited Refman improvements in 8.12 and beyond

Coq Github Bot (Jun 17 2020 at 01:40):

jfehrle:

• edited Refman improvements in 8.12 and beyond

Coq Github Bot (Jun 17 2020 at 10:17):

Janno:

• edited Coq Call 2020 06 17

Coq Github Bot (Jun 17 2020 at 11:42):

Zimmi48:

• edited Refman improvements in 8.12 and beyond

Coq Github Bot (Jun 17 2020 at 12:03):

ppedrot:

• edited SigningReleases

Coq Github Bot (Jun 17 2020 at 12:23):

ppedrot:

• edited SigningReleases

Coq Github Bot (Jun 17 2020 at 12:40):

SkySkimmer:

• edited Coq Call 2020 06 17

Coq Github Bot (Jun 17 2020 at 13:00):

ppedrot:

• edited Coq Call 2020 06 17

Coq Github Bot (Jun 17 2020 at 14:07):

mattam82:

• edited Coq Call 2020 06 17

Coq Github Bot (Jun 17 2020 at 14:38):

maximedenes:

• edited Coq Call 2020 06 17

Coq Github Bot (Jun 17 2020 at 15:18):

mattam82:

• edited Coq Call 2020 06 17

Coq Github Bot (Jun 22 2020 at 09:09):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Jun 22 2020 at 09:11):

Zimmi48:

• created Coq Call 2020 06 24

Coq Github Bot (Jun 22 2020 at 09:56):

ejgallego:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 22 2020 at 10:22):

palmskog:

• edited Tools

Coq Github Bot (Jun 22 2020 at 18:09):

JasonGross:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 22 2020 at 18:10):

JasonGross:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 22 2020 at 18:27):

JasonGross:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 23 2020 at 07:24):

Zimmi48:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 23 2020 at 17:30):

ejgallego:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 23 2020 at 20:58):

JasonGross:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 24 2020 at 15:00):

ejgallego added JasonGross to coq-bench.

Coq Github Bot (Jun 24 2020 at 15:03):

mattam82:

• created Coq Call 2020 07 01

Coq Github Bot (Jun 24 2020 at 15:05):

mattam82:

• edited Coq Call 2020 07 01

Coq Github Bot (Jun 24 2020 at 15:05):

mattam82:

• edited Coq Calls

Coq Github Bot (Jun 24 2020 at 15:10):

mattam82:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 24 2020 at 15:22):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Jun 24 2020 at 20:38):

jfehrle:

• edited Coq Call 2020 07 01

Coq Github Bot (Jun 24 2020 at 20:39):

jfehrle:

• edited Coq Call 2020 07 01

Coq Github Bot (Jun 24 2020 at 21:28):

JasonGross:

• edited Coq Call 2020 06 24

Coq Github Bot (Jun 30 2020 at 23:06):

ejgallego:

• edited Coq Call 2020 07 01

Coq Github Bot (Jul 01 2020 at 14:06):

mattam82:

• edited Coq Call 2020 07 08

Coq Github Bot (Jul 01 2020 at 14:07):

mattam82:

• edited Coq Calls

Coq Github Bot (Jul 01 2020 at 15:35):

jfehrle:

• edited Coq Calls

Coq Github Bot (Jul 05 2020 at 16:17):

k4rtik:

• edited Discourse

Coq Github Bot (Jul 06 2020 at 09:19):

mattam82:

• created Future plans

Coq Github Bot (Jul 06 2020 at 09:25):

mattam82:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 09:26):

mattam82:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 09:27):

maximedenes:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 09:27):

maximedenes:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 09:28):

mattam82:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 09:28):

maximedenes:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 09:28):

maximedenes:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 10:01):

mattam82:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 10:03):

Zimmi48:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 10:20):

spitters:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 10:21):

maximedenes:

• edited Future plans

Coq Github Bot (Jul 06 2020 at 10:23):

spitters:

• edited Future plans

Coq Github Bot (Jul 08 2020 at 09:41):

Zimmi48 added Zimmi48 to the coqbot maintainers team.

Coq Github Bot (Jul 08 2020 at 09:42):

Zimmi48 added jtcoolen to the coqbot maintainers team.

Coq Github Bot (Jul 08 2020 at 10:03):

ejgallego:

• edited Coq Calls

Coq Github Bot (Jul 08 2020 at 10:04):

ejgallego:

• created Coq Call 2020 07 15

Coq Github Bot (Jul 08 2020 at 10:19):

ejgallego:

• edited Coq Calls

Coq Github Bot (Jul 09 2020 at 07:54):

Zimmi48:

• edited Discourse

Coq Github Bot (Jul 09 2020 at 11:47):

ejgallego:

• edited Coq Call 2020 07 15

Coq Github Bot (Jul 09 2020 at 12:04):

ejgallego:

• edited Coq Call 2020 07 15

Coq Github Bot (Jul 09 2020 at 12:42):

ejgallego:

• edited Coq Call 2020 07 15

Coq Github Bot (Jul 10 2020 at 15:48):

jfehrle:

• edited Coq Calls

Coq Github Bot (Jul 15 2020 at 16:34):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Jul 15 2020 at 16:41):

Zimmi48:

• edited Coq Call 2020 07 15

Coq Github Bot (Jul 16 2020 at 16:21):

ejgallego:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Jul 16 2020 at 20:25):

Zimmi48:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Jul 20 2020 at 16:27):

ejgallego:

• edited Coq Calls

Coq Github Bot (Jul 21 2020 at 17:41):

JasonGross:

• created Coq Call 2020 07 22

Coq Github Bot (Jul 21 2020 at 17:41):

JasonGross:

• edited Coq Calls

Coq Github Bot (Jul 22 2020 at 11:34):

ejgallego:

• edited Coq Call 2020 07 22

Coq Github Bot (Jul 22 2020 at 13:03):

SkySkimmer:

• edited Coq Call 2020 07 22

Coq Github Bot (Jul 22 2020 at 15:58):

mattam82:

• edited Coq Call 2020 07 22

Coq Github Bot (Jul 22 2020 at 15:59):

mattam82:

• edited Coq Calls

Coq Github Bot (Jul 23 2020 at 18:36):

palmskog:

• created Equality

Coq Github Bot (Jul 25 2020 at 03:35):

jfehrle:

• edited Coq Call 2020 07 15

Coq Github Bot (Jul 27 2020 at 12:39):

Zimmi48:

• edited SigningReleases

Coq Github Bot (Jul 28 2020 at 09:48):

Zimmi48:

• edited Discourse

Coq Github Bot (Aug 03 2020 at 19:00):

jfehrle:

• edited Installation of Coq on Windows

Coq Github Bot (Aug 04 2020 at 15:08):

jtcoolen:

• created Coqbot minimize feature

Coq Github Bot (Aug 04 2020 at 15:28):

Zimmi48:

• edited Coqbot minimize feature

Coq Github Bot (Aug 06 2020 at 11:15):

Zimmi48 edited the repository coq/bot.

Coq Github Bot (Aug 18 2020 at 15:58):

jonleivent:

• edited LtacPearls

Coq Github Bot (Aug 22 2020 at 10:20):

herbelin:

• created Coq Call 2020 08 26

Coq Github Bot (Aug 25 2020 at 07:39):

SkySkimmer added SkySkimmer to the bench-maintainers team.

Coq Github Bot (Aug 25 2020 at 11:21):

ppedrot added ppedrot to the bench-maintainers team.

Coq Github Bot (Aug 25 2020 at 18:00):

herbelin:

• created Coq Call 2020 09 02

Coq Github Bot (Aug 25 2020 at 18:01):

herbelin:

• edited Coq Calls

Coq Github Bot (Aug 25 2020 at 18:01):

herbelin:

• edited Coq Call 2020 09 02

Coq Github Bot (Aug 26 2020 at 19:18):

herbelin:

• edited CoqInTheClassroom

Coq Github Bot (Aug 27 2020 at 11:29):

palmskog:

• edited Other "standard" libraries

Coq Github Bot (Sep 01 2020 at 10:15):

Zimmi48 added olaure01 to the stdlib-maintainers team.

Coq Github Bot (Sep 02 2020 at 12:31):

mattam82:

• edited Coq Call 2020 09 02

Coq Github Bot (Sep 02 2020 at 14:53):

mattam82:

• edited Coq Call 2020 09 02

Coq Github Bot (Sep 02 2020 at 15:44):

mattam82:

• edited Coq Call 2020 09 02

Coq Github Bot (Sep 05 2020 at 07:04):

herbelin:

• edited Induction with self defined cases

Coq Github Bot (Sep 05 2020 at 07:16):

herbelin:

• edited Other Coq Resources

Coq Github Bot (Sep 05 2020 at 07:28):

herbelin:

• edited OtherContents

Coq Github Bot (Sep 05 2020 at 07:29):

herbelin:

• edited OtherContents

Coq Github Bot (Sep 05 2020 at 07:30):

herbelin:

• edited OtherContents

Coq Github Bot (Sep 05 2020 at 07:38):

herbelin:

• edited OtherContents

Coq Github Bot (Sep 05 2020 at 07:40):

herbelin:

• edited Other Coq Resources

Coq Github Bot (Sep 08 2020 at 09:41):

gares:

• edited Coq Calls

Coq Github Bot (Sep 08 2020 at 09:42):

gares:

• created Coq Call 2020 09 09

Coq Github Bot (Sep 09 2020 at 11:41):

charguer:

• edited Coq Call 2020 09 09

Coq Github Bot (Sep 09 2020 at 13:34):

charguer:

• edited Coq Call 2020 09 09

Coq Github Bot (Sep 09 2020 at 13:50):

herbelin:

• edited Coq Call 2020 09 09

Coq Github Bot (Sep 09 2020 at 14:44):

mattam82:

• edited Coq Call 2020 09 09

Coq Github Bot (Sep 13 2020 at 18:20):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Sep 13 2020 at 18:24):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Sep 13 2020 at 18:24):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Sep 13 2020 at 18:28):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Sep 13 2020 at 18:30):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Sep 13 2020 at 18:31):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Sep 13 2020 at 18:33):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Sep 15 2020 at 08:49):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Sep 15 2020 at 08:51):

Zimmi48:

• created Coq Call 2020 09 16

Coq Github Bot (Sep 16 2020 at 12:01):

ejgallego:

• edited Coq Call 2020 09 16

Coq Github Bot (Sep 16 2020 at 12:08):

herbelin:

• edited Coq Call 2020 09 16

Coq Github Bot (Sep 16 2020 at 14:39):

mattam82:

• edited Coq Call 2020 09 16

Coq Github Bot (Sep 16 2020 at 15:16):

mattam82:

• edited Coq Call 2020 09 16

Coq Github Bot (Sep 18 2020 at 08:28):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Sep 18 2020 at 08:31):

Zimmi48:

• created Coq Call 2020 09 23

Coq Github Bot (Sep 19 2020 at 10:28):

clarus:

• edited Coq Call 2020 09 23

Coq Github Bot (Sep 19 2020 at 10:48):

coq added MSoegtropIMC to coq-platform.

Coq Github Bot (Sep 19 2020 at 10:48):

MSoegtropIMC transferred the repository coq/coq-platform.

Coq Github Bot (Sep 19 2020 at 10:51):

Zimmi48 renamed the repository coq/platform.

Coq Github Bot (Sep 19 2020 at 10:51):

Zimmi48 edited MSoegtropIMC to platform.

Coq Github Bot (Sep 21 2020 at 21:55):

ejgallego:

• edited Coq Call 2020 09 23

Coq Github Bot (Sep 22 2020 at 16:06):

ejgallego:

• created OCaml Performance Numbers

Coq Github Bot (Sep 22 2020 at 16:08):

ejgallego:

• edited OCaml Performance Numbers

Coq Github Bot (Sep 22 2020 at 16:08):

ejgallego:

• edited OCaml Performance Numbers

Coq Github Bot (Sep 22 2020 at 16:08):

ejgallego:

• edited OCaml Performance Numbers

Coq Github Bot (Sep 22 2020 at 16:10):

ejgallego:

• edited OCaml Performance Numbers

Coq Github Bot (Sep 22 2020 at 16:19):

ejgallego:

• edited OCaml Performance Numbers

Coq Github Bot (Sep 23 2020 at 14:32):

mattam82:

• edited Coq Call 2020 09 23

Coq Github Bot (Sep 23 2020 at 14:34):

mattam82:

• edited Coq Call 2020 09 23

Coq Github Bot (Sep 23 2020 at 14:35):

mattam82:

• edited Coq Call 2020 09 23

Coq Github Bot (Oct 04 2020 at 07:53):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 04 2020 at 07:57):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 04 2020 at 08:00):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 04 2020 at 08:02):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 04 2020 at 08:06):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 04 2020 at 09:58):

maximedenes:

• created Coq Call 2020 10 07

Coq Github Bot (Oct 04 2020 at 09:58):

maximedenes:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 04 2020 at 09:59):

maximedenes:

• edited Coq Calls

Coq Github Bot (Oct 06 2020 at 08:04):

Zimmi48:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 07 2020 at 13:58):

herbelin:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 07 2020 at 13:58):

herbelin:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 07 2020 at 14:06):

mattam82:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 07 2020 at 14:48):

mattam82:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 07 2020 at 15:11):

mattam82:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 07 2020 at 15:20):

mattam82:

• edited Coq Call 2020 10 07

Coq Github Bot (Oct 09 2020 at 13:57):

ppedrot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:01):

CohenCyril:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:01):

ppedrot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:03):

Zimmi48:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:05):

ppedrot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:07):

amahboubi:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:30):

kyoDralliam:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:48):

gares:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:49):

ejgallego:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 14:51):

ejgallego:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 15:04):

herbelin:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 15:39):

anton-trunov:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 20:03):

maximedenes:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 20:04):

erikmd:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 20:05):

erikmd:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 09 2020 at 22:26):

palmskog:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 10 2020 at 12:58):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 12 2020 at 07:50):

mattam82:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 12 2020 at 22:00):

LasseBlaauwbroek:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 13 2020 at 14:21):

proux01:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 13 2020 at 20:15):

JasonGross:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 14 2020 at 08:22):

pierrevial:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 14 2020 at 12:33):

silene:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 14 2020 at 14:26):

ybertot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 15 2020 at 11:25):

ejgallego:

• created Coq Call 2020 10 21

Coq Github Bot (Oct 15 2020 at 11:26):

ejgallego:

• edited Coq Calls

Coq Github Bot (Oct 15 2020 at 18:21):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 15 2020 at 18:23):

awalterschulze:

• edited CoqInTheClassroom

Coq Github Bot (Oct 17 2020 at 16:01):

samuelgruetter:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 19 2020 at 12:20):

SkySkimmer:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 20 2020 at 18:26):

clayrat:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 21 2020 at 14:22):

Zimmi48:

• edited CoqImplementorsWorkshop

Coq Github Bot (Oct 21 2020 at 14:24):

ppedrot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 22 2020 at 15:16):

zoep:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 26 2020 at 10:32):

gares:

• edited Release Plan

Coq Github Bot (Oct 26 2020 at 10:35):

gares:

• created Release Schedule for Coq 8.13

Coq Github Bot (Oct 26 2020 at 10:39):

pochinha:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Oct 27 2020 at 20:08):

herbelin:

• created Coq Call 2020 10 28

Coq Github Bot (Oct 28 2020 at 11:33):

herbelin:

• edited Coq Call 2020 10 28

Coq Github Bot (Nov 02 2020 at 13:04):

SkySkimmer:

• created Coq Call 2020 11 04
• edited Coq Calls

Coq Github Bot (Nov 04 2020 at 12:22):

mattam82:

• edited Coq Call 2020 11 04

Coq Github Bot (Nov 04 2020 at 13:43):

maximedenes:

• edited Coq Call 2020 11 04

Coq Github Bot (Nov 04 2020 at 13:54):

Zimmi48:

• edited Coq Call 2020 11 04

Coq Github Bot (Nov 04 2020 at 13:55):

ppedrot:

• edited Coq Call 2020 11 04

Coq Github Bot (Nov 04 2020 at 15:53):

mattam82:

• edited Coq Call 2020 11 04

Coq Github Bot (Nov 04 2020 at 16:26):

mattam82:

• edited Coq Call 2020 11 04

Coq Github Bot (Nov 05 2020 at 16:07):

ejgallego added vbgl to bignums.

Coq Github Bot (Nov 06 2020 at 08:11):

erikmd:

• created Coq Call 2020 11 11

Coq Github Bot (Nov 06 2020 at 08:12):

erikmd:

• edited Coq Calls

Coq Github Bot (Nov 06 2020 at 15:10):

Zimmi48 removed jtcoolen from the coqbot maintainers team.

Coq Github Bot (Nov 06 2020 at 15:10):

Zimmi48 removed jtcoolen to bot.

Coq Github Bot (Nov 07 2020 at 13:49):

gares:

• edited Release Schedule for Coq 8.13

Coq Github Bot (Nov 11 2020 at 13:06):

erikmd:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 11 2020 at 13:07):

erikmd:

• edited Coq Calls

Coq Github Bot (Nov 12 2020 at 22:43):

herbelin:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 13 2020 at 11:17):

herbelin:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 13 2020 at 11:18):

herbelin:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 13 2020 at 11:38):

herbelin:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 13 2020 at 14:52):

mattam82:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 13 2020 at 15:18):

mattam82:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 13 2020 at 15:19):

mattam82:

• edited Coq Call 2020 11 13

Coq Github Bot (Nov 16 2020 at 11:10):

mkerjean:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 16 2020 at 16:26):

silene:

• created Coq Call 2020 12 09

Coq Github Bot (Nov 16 2020 at 16:28):

silene:

• edited Coq Calls

Coq Github Bot (Nov 17 2020 at 15:36):

herbelin:

• created Coq Call 2020 11 18

Coq Github Bot (Nov 17 2020 at 16:17):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Nov 17 2020 at 16:17):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Nov 18 2020 at 07:58):

herbelin:

• edited Coq Call 2020 11 18

Coq Github Bot (Nov 18 2020 at 10:51):

herbelin:

• edited Coq Call 2020 11 18

Coq Github Bot (Nov 18 2020 at 16:14):

mattam82:

• edited Coq Call 2020 11 18

Coq Github Bot (Nov 19 2020 at 14:18):

Zimmi48 added vbgl to doc.

Coq Github Bot (Nov 19 2020 at 16:51):

MSoegtropIMC:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 19 2020 at 18:53):

herbelin:

• created Coq Call 2020 11 25

Coq Github Bot (Nov 20 2020 at 02:56):

cpitclaudel:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 20 2020 at 08:03):

gares:

• edited Coq Call 2020 11 25

Coq Github Bot (Nov 20 2020 at 08:04):

gares:

• edited Coq Calls

Coq Github Bot (Nov 23 2020 at 15:35):

Zimmi48:

• edited Coq Call 2020 11 25

Coq Github Bot (Nov 24 2020 at 10:10):

Zimmi48:

• edited Coq Call 2020 11 25

Coq Github Bot (Nov 24 2020 at 10:12):

Zimmi48:

• edited Coq Call 2020 11 25

Coq Github Bot (Nov 25 2020 at 13:45):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Nov 25 2020 at 16:13):

Zimmi48:

• edited Coq Call 2020 12 09

Coq Github Bot (Nov 25 2020 at 16:13):

Zimmi48:

• edited Coq Call 2020 11 25

Coq Github Bot (Nov 25 2020 at 16:16):

mattam82:

• edited Coq Call 2020 11 25

Coq Github Bot (Nov 26 2020 at 21:12):

jfehrle:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 27 2020 at 09:45):

pPomCo:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 27 2020 at 14:00):

Zimmi48:

• edited SigningReleases

Coq Github Bot (Nov 27 2020 at 14:03):

affeldt-aist:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 27 2020 at 14:09):

Zimmi48:

• edited SigningReleases

Coq Github Bot (Nov 27 2020 at 14:14):

Zimmi48:

• edited SigningReleases

Coq Github Bot (Nov 27 2020 at 14:21):

Zimmi48:

• edited SigningReleases

Coq Github Bot (Nov 29 2020 at 19:30):

erikmd:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 09:11):

CohenCyril:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 09:23):

Blaisorblade:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 10:20):

ppedrot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 10:26):

palmskog:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 10:26):

palmskog:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 11:32):

mattam82:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 11:41):

ana-borges:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 11:42):

ana-borges:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 11:52):

LasseBlaauwbroek:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 12:37):

Zimmi48:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 13:09):

ejgallego:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 13:12):

ejgallego:

• created BreakOut 2020 11 30 Lasse
• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 13:14):

ppedrot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 13:26):

ejgallego:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 14:13):

arthuraa:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 15:51):

ana-borges:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Nov 30 2020 at 15:54):

MSoegtropIMC:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 01 2020 at 10:00):

charguer:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 01 2020 at 15:48):

ppedrot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 01 2020 at 17:42):

ana-borges:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 01 2020 at 17:55):

ejgallego:

• created BreakOut 2020 12 01 Karl
• created BreakOut 2020 12 01 envs
• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 09:15):

ybertot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 09:24):

LasseBlaauwbroek:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 10:25):

gares:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 10:26):

mrhaandi:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 13:41):

Zimmi48 added fakusb to the Contributors team.

Coq Github Bot (Dec 02 2020 at 13:51):

gares:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 14:36):

tabareau:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 16:06):

ybertot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 18:14):

kyoDralliam:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 02 2020 at 23:02):

ana-borges:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 03 2020 at 13:03):

mattam82:

• created BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 13:04):

mattam82:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 03 2020 at 13:09):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 13:13):

jakobbotsch:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 13:18):

yforster:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 13:18):

fakusb:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 14:33):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 14:36):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 14:40):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 14:42):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 14:46):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 14:48):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 15:44):

palmskog:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 03 2020 at 15:45):

ybertot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 03 2020 at 15:47):

mattam82:

• edited BreakOut 2020 12 03 MetaCoq

Coq Github Bot (Dec 03 2020 at 21:02):

fakusb:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 04 2020 at 04:55):

palmskog:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 04 2020 at 05:00):

cpitclaudel:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 04 2020 at 10:38):

ana-borges:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 04 2020 at 12:28):

cpitclaudel:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 04 2020 at 16:12):

ybertot:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 04 2020 at 16:28):

erikmd:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 04 2020 at 16:29):

erikmd:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 05 2020 at 11:08):

ana-borges:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 06 2020 at 17:35):

MSoegtropIMC edited the repository coq/platform.

Coq Github Bot (Dec 07 2020 at 13:02):

palmskog:

• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Dec 07 2020 at 16:00):

gares:

• edited SigningReleases

Coq Github Bot (Dec 07 2020 at 16:15):

gares:

• edited SigningReleases

Coq Github Bot (Dec 07 2020 at 16:20):

gares:

• edited SigningReleases

Coq Github Bot (Dec 08 2020 at 08:36):

gares:

• edited Coq Call 2020 12 09

Coq Github Bot (Dec 08 2020 at 11:15):

Zimmi48:

• edited Coq Call 2020 12 09

Coq Github Bot (Dec 08 2020 at 16:23):

gares:

• edited Coq Call 2020 12 09

Coq Github Bot (Dec 09 2020 at 14:31):

Zimmi48:

• edited Coq Call 2020 12 09

Coq Github Bot (Dec 09 2020 at 15:05):

Zimmi48:

• edited Coq Call 2020 12 09

Coq Github Bot (Dec 09 2020 at 16:06):

mattam82:

• edited Coq Call 2020 12 09

Coq Github Bot (Dec 09 2020 at 16:15):

mattam82:

• created Coq Call 2020 12 18

Coq Github Bot (Dec 09 2020 at 16:15):

mattam82:

• edited Coq Call 2020 12 09

Coq Github Bot (Dec 09 2020 at 17:35):

mattam82:

• edited Coq Calls

Coq Github Bot (Dec 09 2020 at 17:35):

mattam82:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 09 2020 at 17:36):

mattam82:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 10 2020 at 14:55):

gares:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 10 2020 at 15:32):

gares:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 11 2020 at 10:26):

Zimmi48:

• edited SigningReleases

Coq Github Bot (Dec 11 2020 at 10:35):

gares:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 11 2020 at 10:49):

Zimmi48:

• edited SigningReleases

Coq Github Bot (Dec 11 2020 at 10:59):

Zimmi48:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 13 2020 at 22:21):

erikmd:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 13 2020 at 22:23):

erikmd:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 13 2020 at 22:34):

erikmd:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 16 2020 at 14:41):

herbelin:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 16 2020 at 15:01):

erikmd:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 16 2020 at 16:09):

erikmd:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 16 2020 at 16:21):

erikmd:

• edited Coq Call 2020 12 16

Coq Github Bot (Dec 27 2020 at 00:33):

jfehrle:

• created Coq Call 2021 01 06

Coq Github Bot (Dec 27 2020 at 00:36):

jfehrle:

• edited Coq Calls

Coq Github Bot (Dec 28 2020 at 05:30):

jfehrle:

• edited Coq Call 2021 01 06

Coq Github Bot (Jan 05 2021 at 20:31):

jfehrle:

• edited Coq Call 2021 01 13

Coq Github Bot (Jan 05 2021 at 20:31):

jfehrle:

• edited Coq Call 2021 01 13

Coq Github Bot (Jan 05 2021 at 20:31):

jfehrle:

• edited Coq Calls

Coq Github Bot (Jan 05 2021 at 20:32):

jfehrle:

• edited Coq Call 2021 01 13

Coq Github Bot (Jan 07 2021 at 12:33):

gares:

• edited SigningReleases

Coq Github Bot (Jan 07 2021 at 12:35):

gares:

• edited SigningReleases

Coq Github Bot (Jan 07 2021 at 12:38):

gares:

• edited SigningReleases

Coq Github Bot (Jan 07 2021 at 12:40):

gares:

• edited SigningReleases

Coq Github Bot (Jan 07 2021 at 12:56):

gares:

• edited SigningReleases

Coq Github Bot (Jan 11 2021 at 16:02):

gares:

• edited Coq Call 2021 01 13

Coq Github Bot (Jan 12 2021 at 18:06):

Zimmi48:

• edited Home

Coq Github Bot (Jan 13 2021 at 09:18):

gares:

• edited Coq Call 2021 01 13

Coq Github Bot (Jan 13 2021 at 16:08):

mattam82:

• edited Coq Call 2021 01 13

Coq Github Bot (Jan 20 2021 at 13:20):

mattam82:

• edited Coq Calls

Coq Github Bot (Jan 22 2021 at 16:51):

gares:

• created Coq Call 2021 01 27

Coq Github Bot (Jan 22 2021 at 16:52):

gares:

• edited Coq Calls

Coq Github Bot (Jan 22 2021 at 16:52):

gares:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 23 2021 at 18:22):

gares:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 25 2021 at 09:36):

gares:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 27 2021 at 09:39):

gares:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 27 2021 at 09:47):

gares:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 27 2021 at 10:58):

gares:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 27 2021 at 13:37):

Zimmi48:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 27 2021 at 14:56):

herbelin:

• edited Coq Call 2021 01 27

Coq Github Bot (Jan 31 2021 at 17:04):

gares added MSoegtropIMC to the OPAM maintainer team.

Coq Github Bot (Jan 31 2021 at 17:15):

gares removed matejkosik from the OPAM maintainer team.

Coq Github Bot (Feb 03 2021 at 14:09):

mattam82:

• created Coq Call 2021 02 03

Coq Github Bot (Feb 03 2021 at 14:10):

mattam82:

• edited Coq Call 2021 01 27

Coq Github Bot (Feb 03 2021 at 14:11):

mattam82:

• edited Coq Calls

Coq Github Bot (Feb 03 2021 at 15:42):

mattam82:

• edited Coq Call 2021 02 03

Coq Github Bot (Feb 03 2021 at 15:59):

mattam82:

• edited Coq Call 2021 02 03

Coq Github Bot (Feb 03 2021 at 16:08):

mattam82:

• edited Coq Call 2021 02 03

Coq Github Bot (Feb 03 2021 at 16:09):

mattam82:

• edited Coq Call 2021 02 03

Coq Github Bot (Feb 04 2021 at 15:33):

SkySkimmer:

• created Coq Call 2021 02 10
• edited Coq Calls

Coq Github Bot (Feb 07 2021 at 16:39):

gares:

• edited Coq Call 2021 02 10

Coq Github Bot (Feb 08 2021 at 20:41):

Zimmi48:

• edited Coq Call 2021 02 10

Coq Github Bot (Feb 10 2021 at 14:21):

gares:

• edited Coq Calls

Coq Github Bot (Feb 10 2021 at 14:22):

gares:

• created Coq Call 2021 02 17

Coq Github Bot (Feb 10 2021 at 14:27):

gares:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 10 2021 at 15:35):

mattam82:

• edited Coq Call 2021 02 10

Coq Github Bot (Feb 10 2021 at 16:03):

SkySkimmer:

• created Benchmarking

Coq Github Bot (Feb 10 2021 at 16:04):

mattam82:

• edited Coq Call 2021 02 10

Coq Github Bot (Feb 10 2021 at 16:06):

mattam82:

• edited Coq Call 2021 02 10

Coq Github Bot (Feb 10 2021 at 16:08):

SkySkimmer:

• edited Coq Call 2021 02 10

Coq Github Bot (Feb 10 2021 at 16:16):

SkySkimmer:

• edited Benchmarking

Coq Github Bot (Feb 16 2021 at 22:45):

ejgallego:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 17 2021 at 02:57):

ejgallego:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 17 2021 at 03:03):

ejgallego:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 17 2021 at 14:07):

gares:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 17 2021 at 15:00):

gares:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 17 2021 at 16:05):

gares:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 17 2021 at 16:31):

gares:

• edited Coq Call 2021 02 17

Coq Github Bot (Feb 24 2021 at 11:32):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Feb 24 2021 at 11:33):

Zimmi48:

• created Coq Call 2021 02 24

Coq Github Bot (Feb 24 2021 at 15:39):

MSoegtropIMC:

• edited Coq Call 2021 02 24

Coq Github Bot (Feb 26 2021 at 08:03):

MSoegtropIMC edited the repository coq/platform.

Coq Github Bot (Feb 26 2021 at 08:04):

MSoegtropIMC edited the repository coq/platform.

Coq Github Bot (Mar 01 2021 at 21:50):

ejgallego:

• edited Coq Calls

Coq Github Bot (Mar 01 2021 at 21:50):

ejgallego:

• edited Coq Calls

Coq Github Bot (Mar 01 2021 at 21:51):

ejgallego:

• created Coq Call 2021 03 03

Coq Github Bot (Mar 02 2021 at 00:14):

ejgallego:

• edited Coq Call 2021 02 24

Coq Github Bot (Mar 02 2021 at 09:45):

Zimmi48:

• edited Installation of Coq on Linux

Coq Github Bot (Mar 02 2021 at 10:20):

Zimmi48:

• edited Installation of Coq on Mac

Coq Github Bot (Mar 02 2021 at 10:36):

Zimmi48:

• edited Installation of Coq on Windows

Coq Github Bot (Mar 05 2021 at 00:27):

ejgallego:

• edited Coq Calls

Coq Github Bot (Mar 05 2021 at 00:28):

ejgallego:

• created Coq Call 2021 03 10

Coq Github Bot (Mar 05 2021 at 00:28):

ejgallego:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 05 2021 at 00:30):

ejgallego:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 05 2021 at 00:31):

ejgallego:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 05 2021 at 00:32):

ejgallego:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 09 2021 at 12:30):

SkySkimmer:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 10 2021 at 14:52):

ejgallego:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 10 2021 at 16:00):

mattam82:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 10 2021 at 16:01):

mattam82:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 10 2021 at 16:02):

SkySkimmer:

• edited Coq Call 2021 03 10

Coq Github Bot (Mar 11 2021 at 21:40):

jfehrle:

• created Coq Call 2021 03 17

Coq Github Bot (Mar 11 2021 at 21:40):

jfehrle:

• edited Coq Calls

Coq Github Bot (Mar 11 2021 at 21:41):

jfehrle:

• edited Coq Calls

Coq Github Bot (Mar 11 2021 at 21:41):

jfehrle:

• edited Coq Call 2021 03 17

Coq Github Bot (Mar 12 2021 at 09:37):

ejgallego:

• created Topic Working Groups
• edited Coq Call 2021 03 03
• edited Coq Call 2021 03 10

Coq Github Bot (Mar 12 2021 at 09:39):

ejgallego:

• edited Coq Call 2021 03 03

Coq Github Bot (Mar 12 2021 at 09:42):

ejgallego:

• edited Topic Working Groups

Coq Github Bot (Mar 12 2021 at 09:43):

ejgallego:

• created Coq Topic Working Group: User Interfaces

Coq Github Bot (Mar 12 2021 at 09:46):

ejgallego:

• edited Topic Working Groups

Coq Github Bot (Mar 12 2021 at 09:48):

ejgallego:

• edited Topic Working Groups

Coq Github Bot (Mar 12 2021 at 09:50):

ejgallego:

• edited Topic Working Groups

Coq Github Bot (Mar 12 2021 at 09:51):

ejgallego:

• edited Coq Topic Working Group User Interfaces
• edited Topic Working Groups

Coq Github Bot (Mar 12 2021 at 09:55):

ejgallego:

• created Coq Topic Working Group ML

Coq Github Bot (Mar 12 2021 at 10:26):

ejgallego:

• edited Coq Topic Working Group ML
• edited Coq Topic Working Group User Interfaces

Coq Github Bot (Mar 12 2021 at 10:41):

ejgallego:

• edited Coq Topic Working Group ML
• edited Coq Topic Working Group User Interfaces

Coq Github Bot (Mar 12 2021 at 15:19):

ejgallego:

• edited Topic Working Groups

Coq Github Bot (Mar 13 2021 at 19:35):

ejgallego:

• created Coq Topic Working Group Multicore

Coq Github Bot (Mar 17 2021 at 15:55):

mattam82:

• edited Coq Call 2021 03 17

Coq Github Bot (Mar 19 2021 at 20:56):

mattam82:

• created Coq Call 2021 03 24

Coq Github Bot (Mar 19 2021 at 20:56):

mattam82:

• edited Coq Call 2021 03 24

Coq Github Bot (Mar 19 2021 at 20:57):

mattam82:

• edited Coq Calls

Coq Github Bot (Mar 22 2021 at 10:09):

gares:

• edited Coq Call 2021 03 24

Coq Github Bot (Mar 22 2021 at 23:18):

ejgallego:

• edited Typeclasses and Canonical Structures

Coq Github Bot (Mar 23 2021 at 15:51):

JasonGross:

• edited Troubleshooting

Coq Github Bot (Mar 23 2021 at 15:52):

JasonGross:

• edited Performance

Coq Github Bot (Mar 23 2021 at 15:53):

JasonGross:

• edited Performance

Coq Github Bot (Mar 24 2021 at 09:01):

silene:

• edited Coq Calls

Coq Github Bot (Mar 24 2021 at 12:18):

JasonGross:

• edited Troubleshooting

Coq Github Bot (Mar 24 2021 at 14:56):

gares:

• edited Coq Call 2021 03 24

Coq Github Bot (Mar 24 2021 at 16:55):

silene:

• edited Release Plan

Coq Github Bot (Mar 24 2021 at 16:59):

mattam82:

• edited Coq Call 2021 03 24

Coq Github Bot (Mar 24 2021 at 17:02):

silene:

• created Release Schedule for Coq 8.14

Coq Github Bot (Mar 25 2021 at 11:13):

erikmd:

• edited Installation of Coq on Windows

Coq Github Bot (Mar 31 2021 at 10:56):

ppedrot:

• edited Coq Calls

Coq Github Bot (Mar 31 2021 at 10:58):

ppedrot:

• created Coq Call 2021 03 31

Coq Github Bot (Mar 31 2021 at 11:32):

herbelin:

• edited Equality

Coq Github Bot (Mar 31 2021 at 11:41):

herbelin:

• edited Equality

Coq Github Bot (Mar 31 2021 at 21:47):

herbelin:

• edited Equality

Coq Github Bot (Apr 02 2021 at 09:33):

Zimmi48:

• edited Discourse

Coq Github Bot (Apr 02 2021 at 21:11):

herbelin:

• edited Wishes

Coq Github Bot (Apr 03 2021 at 18:01):

ejgallego added hendriktews to the Contributors team.

Coq Github Bot (Apr 06 2021 at 16:57):

Zimmi48:

• created Alternative names

Coq Github Bot (Apr 06 2021 at 17:01):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:04):

jashug:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:21):

xavierleroy:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:27):

xavierleroy:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:29):

liyishuai:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:30):

MSoegtropIMC:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:30):

mattam82:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:37):

mattam82:

• created Coq Call 2021 03 07

Coq Github Bot (Apr 06 2021 at 17:39):

xavierleroy:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:40):

xavierleroy:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 17:45):

mattam82:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 06 2021 at 17:46):

mattam82:

• edited Coq Calls

Coq Github Bot (Apr 06 2021 at 17:46):

xavierleroy:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:08):

fredericloulergue:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:10):

Matafou:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:12):

Matafou:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:20):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:22):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:25):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:28):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:30):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:34):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:48):

jkbsc:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:52):

SkySkimmer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:54):

Kiarahmani:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 18:56):

mikeshulman:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:00):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:02):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:17):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:22):

felix91gr:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:39):

mattam82:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:40):

jgrosso:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:42):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:44):

jgrosso:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:57):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 19:59):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:05):

dwRchyngqxs:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:19):

dwRchyngqxs:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:26):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:32):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:33):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:33):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:34):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:35):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:37):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:40):

bcpierce00:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:44):

scuellar:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:50):

alcides:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:51):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:54):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:55):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 20:59):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:00):

alcides:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:02):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:09):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:30):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:31):

slyubomirsky:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:32):

slyubomirsky:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:45):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 21:56):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 22:03):

clarus:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 22:09):

yoogx:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 22:11):

yoogx:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 22:15):

liyishuai:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 23:31):

drdreyer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 23:37):

drdreyer:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 23:39):

gallais:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 23:44):

gallais:

• edited Alternative names

Coq Github Bot (Apr 06 2021 at 23:45):

gallais:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 02:30):

kevinsullivan:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 02:31):

monnier:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 02:36):

kevinsullivan:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 02:37):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 02:39):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 03:05):

jashug:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 03:09):

jashug:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 03:38):

pvomelveny:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 06:05):

anton-trunov:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 06:39):

PeterSewell:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 06:40):

PeterSewell:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 07:06):

yforster:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 07:24):

charguer:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 07 2021 at 07:52):

TheoWinterhalter:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 07:57):

charguer:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 07 2021 at 09:03):

charguer:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 07 2021 at 10:10):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 10:44):

ptorrx:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 11:25):

wilstef:

• edited _Footer

Coq Github Bot (Apr 07 2021 at 11:27):

wilstef:

• edited _Footer

Coq Github Bot (Apr 07 2021 at 11:30):

wilstef:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 11:31):

wilstef:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 11:32):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 11:34):

Zimmi48:

• edited _Footer

Coq Github Bot (Apr 07 2021 at 12:14):

yforster:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 12:18):

YaZko:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 12:23):

YaZko:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 13:02):

elfprince13:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 13:37):

arthuraa:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 13:43):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 13:47):

slasser:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 13:55):

mattam82:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 13:56):

tabareau:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 13:59):

mattam82:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 14:16):

mattam82:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 07 2021 at 14:19):

mattam82:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 07 2021 at 14:19):

mattam82:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 07 2021 at 14:22):

ejgallego:

• edited Coq Call 2021 04 07

Coq Github Bot (Apr 07 2021 at 14:38):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 14:43):

ejgallego:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:15):

ppedrot:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:21):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:25):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:29):

pellissier:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:29):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:30):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:31):

afelty:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:38):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:40):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:42):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 15:53):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 16:38):

rnollet:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 16:39):

rnollet:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 16:40):

cpitclaudel:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 16:40):

cpitclaudel:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 16:41):

felix91gr:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 16:46):

rnollet:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 17:33):

ppedrot:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 18:08):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 18:12):

lamarqua:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 18:29):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 18:34):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 20:06):

gallais:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 20:27):

afelty:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 21:39):

ejgallego:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 21:40):

ejgallego:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 22:03):

ejgallego:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 22:16):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 22:19):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 22:20):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 22:22):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 22:41):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 22:58):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 23:02):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 23:54):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 07 2021 at 23:58):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 02:51):

jgrosso:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 02:51):

jgrosso:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 02:52):

jgrosso:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 05:46):

Casteran:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 06:43):

ybertot:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 06:56):

ybertot:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 07:07):

gares:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 07:11):

gares:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 07:13):

gares:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 07:15):

gares:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 12:42):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 13:49):

arthuraa:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 13:54):

arthuraa:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 13:57):

arthuraa:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 14:39):

whonore:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 14:55):

bee-san:

• created g

Coq Github Bot (Apr 08 2021 at 15:01):

waldyrious:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:08):

waldyrious:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:10):

webdevdunce:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:10):

webdevdunce:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:11):

konfou:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:12):

webdevdunce:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:25):

crdrost:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:28):

gasche:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:31):

konfou:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:46):

fdelorme:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:47):

fdelorme:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 15:47):

fdelorme:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 16:05):

andrevidela:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 16:38):

matej-kosik:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 16:42):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 16:44):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 16:45):

slindley:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 16:57):

philipjf:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 17:13):

JeremyRubin:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 17:59):

Himada4:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 18:04):

gallais:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 18:09):

rebane2001:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 18:14):

fifofefe:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 18:23):

fsmith1024:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 19:49):

jkbsc:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:23):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:23):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:26):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:31):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:33):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:44):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:45):

ma82:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 20:56):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 21:07):

SkySkimmer:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 21:11):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 21:53):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 21:57):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 08 2021 at 22:03):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 00:00):

richardm-stripe:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 00:50):

Lysxia:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 01:14):

pfeodrippe:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 01:59):

jgrosso:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 02:00):

jgrosso:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 02:14):

cpitclaudel:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 02:16):

cpitclaudel:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 02:17):

rnrand:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 02:29):

rnrand:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 02:40):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 02:44):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 03:20):

gambogi:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 04:30):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 04:58):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 05:01):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 05:01):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 05:03):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 05:28):

barry-jay-personal:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 06:06):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 06:14):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 06:15):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 06:16):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 06:17):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 06:22):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 06:22):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 07:26):

cesar-avalos3:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 07:36):

co-dan:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 07:51):

lifthrasiir:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 08:20):

k32:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 08:28):

ainar-g:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 08:31):

Maximilianos:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 08:32):

koraa:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 08:35):

koraa:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 08:37):

ainar-g:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 08:40):

koraa:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 11:34):

andreasabel:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 11:41):

andreasabel:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 11:45):

andreasabel:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:18):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:25):

esope:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:28):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:29):

kappelmann:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:35):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:45):

fblanqui:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:47):

smlckz:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:48):

co-dan:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 12:53):

co-dan:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 13:14):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:01):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:06):

rnagasam:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:07):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:09):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:22):

Tengas:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:23):

kgraaf:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:25):

Tengas:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:30):

tbrk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 14:30):

nmvdw:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 15:17):

jonleivent:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 15:29):

UlrikBuchholtz:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 16:07):

gambogi:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 16:19):

gambogi:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 17:03):

TheoWinterhalter:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 17:56):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 18:06):

tlringer:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 18:41):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 18:50):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 19:17):

mattam82:

• edited SigningReleases

Coq Github Bot (Apr 09 2021 at 19:56):

louisGarde:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 20:30):

konfou:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 20:41):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 20:42):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 20:43):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 20:44):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 21:11):

mattam82:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 21:33):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 21:34):

mattam82:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 21:34):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 22:32):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 09 2021 at 22:34):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 00:04):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 00:09):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 00:12):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 00:27):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 00:46):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 04:14):

cyrus-:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 04:15):

cyrus-:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 04:17):

cyrus-:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 04:31):

mmalter:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 06:03):

Tloru:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 06:07):

Tloru:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 08:22):

PeterSewell:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 08:36):

PeterSewell:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 08:40):

esope:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 08:41):

liyishuai:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 08:57):

liyishuai:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 15:13):

clarus:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 15:53):

TheoWinterhalter:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 17:24):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 18:22):

esope:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 18:42):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 20:19):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 20:22):

psteckler:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 22:19):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 22:31):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 22:41):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 22:42):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 22:45):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 22:59):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 23:00):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 10 2021 at 23:12):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 01:33):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 01:34):

tadeuszlitak:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 02:07):

thery:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 09:12):

TheoWinterhalter:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 21:09):

TheoWinterhalter:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 21:32):

ptorrx:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 22:58):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 23:00):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 23:15):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 11 2021 at 23:18):

eluuk:

• edited Alternative names

Coq Github Bot (Apr 12 2021 at 13:11):

silene added thery to bignums.

Coq Github Bot (Apr 12 2021 at 17:51):

rtfeldman:

• edited Alternative names

Coq Github Bot (Apr 13 2021 at 07:46):

alaingirault:

• edited Alternative names

Coq Github Bot (Apr 13 2021 at 07:57):

alaingirault:

• edited Alternative names

Coq Github Bot (Apr 13 2021 at 09:46):

djanin:

• edited Alternative names

Coq Github Bot (Apr 14 2021 at 00:08):

JasonGross:

• created Coq Call 2021 04 14

Coq Github Bot (Apr 14 2021 at 00:09):

JasonGross:

• edited Coq Calls

Coq Github Bot (Apr 14 2021 at 12:39):

Zimmi48:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 14 2021 at 12:39):

Zimmi48:

• edited Coq Calls

Coq Github Bot (Apr 14 2021 at 13:10):

JasonGross:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 14 2021 at 20:54):

ejgallego:

• created BreakOut 2020 12 02 Ali
• created BreakOut 2020 12 03 Paolo
• edited BreakOut 2020 11 30 Lasse
• edited BreakOut 2020 12 01 Karl
• edited BreakOut 2020 12 01 envs
• edited Coq Users and Developers Workshop 2020

Coq Github Bot (Apr 15 2021 at 09:32):

ainar-g:

• edited Alternative names

Coq Github Bot (Apr 15 2021 at 20:16):

TheoWinterhalter:

• edited Alternative names

Coq Github Bot (Apr 16 2021 at 08:05):

Zimmi48:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 17 2021 at 10:07):

herbelin:

• edited Alternative names

Coq Github Bot (Apr 17 2021 at 10:52):

Zimmi48:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 18 2021 at 09:34):

webdevdunce:

• edited Alternative names

Coq Github Bot (Apr 18 2021 at 09:35):

webdevdunce:

• edited Alternative names

Coq Github Bot (Apr 18 2021 at 16:34):

addap:

• edited Troubleshooting

Coq Github Bot (Apr 18 2021 at 20:07):

jfehrle:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 19 2021 at 21:19):

mattam82:

• edited Benchmarking

Coq Github Bot (Apr 19 2021 at 21:20):

mattam82:

• edited Benchmarking

Coq Github Bot (Apr 19 2021 at 21:45):

mattam82:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 19 2021 at 21:45):

mattam82:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 19 2021 at 21:46):

mattam82:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 20 2021 at 09:10):

Zimmi48:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 20 2021 at 12:03):

dmitry-borzov:

• edited Alternative names

Coq Github Bot (Apr 20 2021 at 16:27):

gadmm:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 21 2021 at 01:40):

jfehrle:

• created Coq Call 2021 04 28

Coq Github Bot (Apr 21 2021 at 01:44):

jfehrle:

• edited Coq Calls

Coq Github Bot (Apr 21 2021 at 06:22):

TheoWinterhalter:

• edited Alternative names

Coq Github Bot (Apr 21 2021 at 13:35):

harveywi:

• edited Alternative names

Coq Github Bot (Apr 21 2021 at 14:20):

mattam82:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 21 2021 at 14:56):

mattam82:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 21 2021 at 15:06):

SkySkimmer:

• edited Alternative names

Coq Github Bot (Apr 21 2021 at 17:00):

gadmm:

• edited Coq Call 2021 04 21

Coq Github Bot (Apr 21 2021 at 17:01):

gadmm:

• edited Coq Call 2021 04 28

Coq Github Bot (Apr 21 2021 at 17:30):

gadmm:

• edited Coq Call 2021 04 28

Coq Github Bot (Apr 23 2021 at 14:31):

Zimmi48:

• edited Coq Call 2021 04 28

Coq Github Bot (Apr 24 2021 at 09:24):

Zer0-One:

• edited Alternative names

Coq Github Bot (Apr 24 2021 at 17:08):

Zimmi48:

• edited Alternative names

Coq Github Bot (Apr 25 2021 at 07:28):

hubiec:

• edited Alternative names

Coq Github Bot (Apr 25 2021 at 07:29):

hubiec:

• edited Alternative names

Coq Github Bot (Apr 26 2021 at 21:12):

ejgallego:

• edited Coq Call 2021 04 28

Coq Github Bot (Apr 26 2021 at 23:19):

endgame: