1 files changed, 1 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 0931548..21f73fd 100644
--- a/.emacs
+++ b/.emacs
@@ -56,6 +56,7 @@
  '(auto-indent-next-pair-timer-interval (quote ((css-mode 1.5) (haskell-mode 1.5) (python-mode 1.5) (latex-mode 1.5) (coq-mode 1.5) (default 0.0005))))
  '(column-number-mode t)
  '(default-input-method "TeX")
+ '(inhibit-startup-screen t)
  '(proof-disappearing-proofs t)
  '(proof-electric-terminator-enable t)
  '(scroll-bar-mode nil)