From 9cabbad329447742eb245c41a46080e3fb89823f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20W=C3=BCrtele?=
 <42440411+SECtim@users.noreply.github.com>
Date: Mon, 11 Mar 2024 13:21:33 +0100
Subject: [PATCH] Remove outdated docker section from INSTALL.md

The fstarlang docker images have not been updated for years and thus should not be referenced in the installation instructions.
---
 INSTALL.md | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 8b086d02b78..cf89af9059b 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -5,7 +5,6 @@
   * [Binary package](#binary-package)
     * [Installing a binary package](#installing-a-binary-package)
     * [Testing a binary package](#testing-a-binary-package)
-  * [Running F* from a docker image](#running-f-from-a-docker-image)
   * [Chocolatey Package on Windows](#chocolatey-package-on-windows)
   * [Nix Package](#nix-package)
   * [Building F* from the OCaml sources](#building-f-from-the-ocaml-sources)
@@ -126,16 +125,6 @@ commands. (Note: On Windows this requires Cygwin and `make`)
          like this `Unix.Unix_error(Unix.ENOMEM, "fork", "")`
          you can increase the limits with `ulimit -n 4000`.
 
-## Running F\* from a docker image ##
-
-An alternative to installing binaries is to install a docker image.
-We currently provide the following two on docker hub: `fstarlang/fstar-emacs`
-with emacs support and `fstarlang/fstar` for purists.
-The image is automatically kept up to date through a cloud build.
-
-You only have to install docker and an X server for your platform and you are good to go.
-See [Running F\* from a docker image](https://github.com/FStarLang/FStar/wiki/Running-F%2A-from-a-docker-image)
-for the details on how to use docker.
 
 ## Chocolatey Package on Windows ##