Make the normal text "F* in docker with Emacs GUI on Linux" into a subheading

LakshyAAAgrawal committed Aug 22, 2020

Updated Running F* from a docker image (markdown)

catalin-hritcu committed Jun 26, 2019

Updated Running F* from a docker image (markdown)

catalin-hritcu committed Sep 12, 2016

Updated Running F* from a docker image (markdown)

catalin-hritcu committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

catalin-hritcu committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

catalin-hritcu committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

catalin-hritcu committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

catalin-hritcu committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Sep 7, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Aug 31, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Aug 31, 2016

Updated Running F* from a docker image (markdown)

Markulf Kohlweiss committed Aug 31, 2016

Fix incorrect character in commands (This works for me !)

beurdouche committed Aug 31, 2016

Updated Running F* from a docker image (markdown)

s-zanella committed Aug 31, 2016

Updated Running F* from a docker image (markdown)

s-zanella committed Aug 31, 2016

Updated Running F* from a docker image (markdown)

s-zanella committed Aug 31, 2016

Created Running F* from a docker image (markdown)

s-zanella committed Aug 31, 2016