From e685b0f15f2c70294bd241c55a33fe38ca12b7c8 Mon Sep 17 00:00:00 2001 From: Oh Date: Sat, 20 Aug 2016 08:56:45 +0800 Subject: [PATCH 1/2] Update README.md Update links in README.md --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 9a3ee10..54717db 100644 --- a/README.md +++ b/README.md @@ -17,11 +17,11 @@ Features - Automated truth-table checking of statements (runs in exponential time. No problem for <10 variables) -Installation +Releases ======= -No installation is required. Just compile and run. +The .jar file and windows executable are available here. Just download and run: +- [Download version 0.99b](releases/download/0.99b/NDProofs.v0.9.9b.zip) +- [Release Page](releases) -Pre-compiled: -https://www.mediafire.com/?5wefauuondf02xk More info: http://ohoh.byethost7.com/?page=ndproofs From 350eb972363373bc061572f8a8dad9eaa6d77cdb Mon Sep 17 00:00:00 2001 From: Oh Date: Sat, 20 Aug 2016 08:58:59 +0800 Subject: [PATCH 2/2] Update README.md Fix links --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 54717db..c13f2f6 100644 --- a/README.md +++ b/README.md @@ -20,8 +20,8 @@ Features Releases ======= The .jar file and windows executable are available here. Just download and run: -- [Download version 0.99b](releases/download/0.99b/NDProofs.v0.9.9b.zip) -- [Release Page](releases) +- [Download version 0.99b](../../releases/download/0.99b/NDProofs.v0.9.9b.zip) +- [Release Page](../../releases) More info: http://ohoh.byethost7.com/?page=ndproofs