Enabled downcase-region
Disabled SAGE support
Added LaTeX yas-snippets to org-mode

Symbolically linked the directories
Trying to improve the scrolling
Added reftex support for proposition
Auto-updates of the packages manager
Improved the behavior of the compilation buffer