GitHub - phi-dbq/emacs_dev: Emacs tools

Name		Name	Last commit message	Last commit date
Latest commit History 53 Commits
emacs-async @ d6222c2		emacs-async @ d6222c2
emacs-sbt-mode @ 736da7f		emacs-sbt-mode @ 736da7f
emacs-scala-mode @ 6f49104		emacs-scala-mode @ 6f49104
org-mode @ 9ed5674		org-mode @ 9ed5674
prfgnrl @ 18e0b4b		prfgnrl @ 18e0b4b
scala-mode2 @ 360b5ba		scala-mode2 @ 360b5ba
use-package @ 5bd87be		use-package @ 5bd87be
xterm-color @ 5873477		xterm-color @ 5873477
.gitignore		.gitignore
.gitmodules		.gitmodules
build_proof_general.sh		build_proof_general.sh
cern-root-help.el		cern-root-help.el
cling-mode.el		cling-mode.el
comint-ref.el		comint-ref.el
emacs-common.el		emacs-common.el
emacs-rc-pretty-lambda.el		emacs-rc-pretty-lambda.el
emacs.darwin		emacs.darwin
emacs.linux		emacs.linux
machspec.el		machspec.el
nordic_customized.el		nordic_customized.el
org-bibnote-exp.el		org-bibnote-exp.el
orgmode-custom.el		orgmode-custom.el
sbt-amm-mode.el		sbt-amm-mode.el
scala-ammonite-comint.el		scala-ammonite-comint.el
scala-custom.el		scala-custom.el
spark-shell-mode.el		spark-shell-mode.el
torch-mode.el		torch-mode.el
upgrade_emacs.sh		upgrade_emacs.sh