projects / ~bandali / configs / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[emacs] assimilate Proof General (for Coq)
[~bandali/configs] / README.org
2018-04-30 Amin Bandaliadd some documentation blob | commitdiff | raw
My configuration for GNU Emacs and other programs