5 commits

Author	SHA1	Message	Date
Martin Potier	844fb872bb	Fixing a typo in spacemacs config	2016-03-30 22:51:18 +02:00
Martin Potier	4ee50e641e	Adding synctex	2016-03-25 12:08:17 +01:00
Martin Potier	9190af7515	Adding tuareg in emacs	2016-03-19 22:59:30 +01:00
eeva	cdcb99614b	Smaller font and better fci color	2016-03-18 17:58:45 +01:00
Martin Potier	402f19c1f3	Spacemacs configuration	2016-03-16 15:12:04 +01:00