Zander671/emacs-config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add fricas stuff

Browse Source
This commit is contained in:
Alexander Rosenberg 2024-03-19 13:04:41 -07:00
parent b517f722b2
commit 6ad6ebbdcb
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
init.el
View File

@ -939,6 +939,27 @@ argument."
(funcall-interactively #'sage-shell:run-sage
(sage-shell:read-command)))))
;; fricas (because I like calculator)
(add-to-list 'load-path "/usr/lib/fricas/emacs/")
(use-package fricas
:ensure nil
:config
(face-spec-set 'fricas-type-time '((t (:foreground nil
:background nil
:inherit font-lock-type-face))))
(face-spec-set 'fricas-message '((t (:foreground nil
:background nil
:inherit error))))
(face-spec-set 'fricas-undefined '((t (:foreground nil
:background nil
:inherit nerd-icons-lblue))))
(face-spec-set 'fricas-algebra '((t (:foreground nil
:background nil
:inherit fricas-prompt))))
(face-spec-set 'fricas-TeX '((t (:foreground nil
:background nil
:inherit fricas-prompt)))))
;; gnuplot (mostly for org-plot)
(use-package gnuplot)