From 38a748853d4fd03ba846c121795832f31a3965eb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dar=C3=ADo=20Here=C3=B1=C3=BA?= Date: Mon, 5 Nov 2018 01:29:37 -0300 Subject: [PATCH] Fix subtitle format on #11 * Typo on #13 * Minor formatting proposals --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index c3cfd7558..0e39f341a 100644 --- a/README.md +++ b/README.md @@ -8,9 +8,9 @@ proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness. -#Installation +# Installation Linux -On Debian-based linux ditributions such as Ubuntu, download and install the file ms-ivy_X.X_YYYY.deb where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands: +On Debian-based linux distributions such as Ubuntu, download and install the file `ms-ivy_X.X_YYYY.deb` where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands: ``` $ sudo dpkg -i ms-ivy_X.X_YYYY.deb $ sudo apt-get install -f @@ -18,7 +18,7 @@ $ sudo apt-get install -f The first command will report missing dependencies, which will be installed by the second command. Windows -The Windows binary distribution is in the form of a zip archive. Download the file ivy.X.Y-.Windows-z86.zip, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory C:\. This should give you a directory C:\ivy. To use IVy in a command window, first execute this command: +The Windows binary distribution is in the form of a zip archive. Download the file `ivy.X.Y-.Windows-z86.zip`, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory `C:\`. This should give you a directory `C:\ivy`. To use IVy in a command window, first execute this command: ``` > C:\ivy\scripts\activate ```