aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.emacs3
1 files changed, 3 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 51186b9..d745a7e 100644
--- a/.emacs
+++ b/.emacs
@@ -195,6 +195,9 @@
'(column-number-mode t)
'(default-input-method "TeX")
'(inhibit-startup-screen t)
+ '(package-selected-packages
+ (quote
+ (mingus yaml-mode wc-mode use-package tuareg sml-mode sass-mode rainbow-mode py-autopep8 ocp-indent merlin markdown-mode lua-mode haskell-mode fill-column-indicator ess elpy dtrt-indent auto-indent-mode auto-complete auctex)))
'(proof-disappearing-proofs t)
'(proof-electric-terminator-enable t)
'(python-indent-guess-indent-offset nil)