Update SO hyperlink

erikmd committed Jan 23, 2022

Rephrase the warning

erikmd committed Jan 29, 2021

Improve the docker alias

erikmd committed Jan 26, 2021

Add hyperlink

erikmd committed Sep 15, 2020

Remove amd64 remark for GNU/Linux as it is also applicable for Windows/macOS

erikmd committed Apr 26, 2020

Refer to Docker official doc

erikmd committed Apr 26, 2020

Add missing "eval $(opam env)"

erikmd committed Dec 15, 2018

Replace '-w /tmp/foo' with '-w "$PWD"' in the last example

erikmd committed Nov 30, 2018

Detail

erikmd committed Nov 17, 2018

Remove one section level

erikmd committed Nov 17, 2018

Add TOC href: https://github.com/ardumont/markdown-toc

erikmd committed Nov 17, 2018

Updated CLI usage (markdown)

erikmd committed Nov 1, 2018

Add tip (building a project on the host with a dockerized Coq)

erikmd committed Nov 1, 2018

Updated CLI usage (markdown)

Zimmi48 committed Nov 1, 2018

Add Docker CLI usage

erikmd committed Oct 31, 2018

Add installation instructions for Docker

erikmd committed Oct 31, 2018

Created CLI usage (markdown)

erikmd committed Oct 30, 2018