commit cfd164d9a87442c0c361582dbe7097e15fb478fe
Author: arran <arran@localhost>
Date:   Fri Oct 20 22:41:42 2017 +0800

    added README and a copy of the manual.

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..2cb6beb
--- /dev/null
+++ b/README.md
@@ -0,0 +1,16 @@
+# MaGIC: Matrix Generator for Implication Connectives
+
+A copy of the code and documentation for John Slaney's
+MaGIC (Matrix Generator for Implication Connectives), a tool for
+logical research. 
+
+## MaGIC homepage
+
+The MaGIC homepage is at http://users.cecs.anu.edu.au/~jks/magic.html.
+
+## MaGIC manual
+
+The link to the MaGIC manual on the MaGIC homepage is broken; the 
+correct link is [here](http://ftp.rsise.anu.edu.au/techreports/1995/TR-ARP-11-95.ps.gz), and a local copy is stored in the directory `manual`.
+
+
diff --git a/manual/TR-ARP-11-95.ps.gz b/manual/TR-ARP-11-95.ps.gz
new file mode 100644
index 0000000..de5a220
Binary files /dev/null and b/manual/TR-ARP-11-95.ps.gz differ