From 667d1bbb50640155983bbda18217315c89a1c8b3 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Tue, 27 Aug 2019 13:59:11 +0200 Subject: Add missing entry to the contributing guide TOC. And add links to UI in the browser. --- CONTRIBUTING.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 529a912bb6..0c1812ec1c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -21,6 +21,7 @@ well. - [Support](#support) - [Standard libraries](#standard-libraries) - [Maintaining existing packages in coq-community](#maintaining-existing-packages-in-coq-community) + - [Contributing to the editor support packages](#contributing-to-the-editor-support-packages) - [Contributing to the website or the package archive](#contributing-to-the-website-or-the-package-archive) - [Other ways of creating content](#other-ways-of-creating-content) - [Issues](#issues) @@ -208,6 +209,10 @@ manifesto's README][coq-community-manifesto]. ### Contributing to the editor support packages ### +Besides CoqIDE, whose sources are available in this repository, and to +which you are welcome to contribute, there are a number of alternative +user interfaces for Coq, more often as an editor support package. + Here are the URLs of the repositories of the various editor support packages: @@ -216,6 +221,11 @@ packages: - Coqtail (Vim) - VsCoq Reloaded (VsCode) +And here are alternative user interfaces to be run in the web browser: + +- JsCoq (Coq executed in your browser) +- Jupyter kernel for Coq + Each of them has their own contribution process. ### Contributing to the website or the package archive ### -- cgit v1.2.3