diff --git a/README.md b/README.md
index a9b6b30..3e9c60b 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,4 @@
-# lean-boogie
\ No newline at end of file
+# Embedding of Boogie into Lean
+
+This is a dirty repo, and commit history will be wiped before public release.
+