From 2c7b377febf9f42de6c7313dfe4154efdfb90da1 Mon Sep 17 00:00:00 2001
From: Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU>
Date: Thu, 10 Sep 2015 18:52:17 -0400
Subject: init our centralized repo

---
 README.md | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 77d3aafba..fc87a9f0e 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,11 @@
-# fiat-crypto
-Cryptographic Primitive Code Generation in Fiat
+Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives in Fiat
+-----
+
+... which would make a good paper title.
+
+To build:
+
+    ln -s <FIAT_DIR> fiat
+    (cd fiat && make fiat-core)
+    make
+
-- 
cgit v1.2.3