| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [emacs] update 12 drones | Amin Bandali | 2018-08-14 | 1 | -0/+0 |
| | | | | | | | | | | | | | | | | lib/closql master v0.6.0-3-gedb4413 lib/dante master 1.4-62-g45e5c91 lib/doom-modeline master 0.3.0-15-g1adcc1f lib/ghub master v2.0.1-26-gcf1a217 lib/helm master v2.9.8-40-ge3aadd86 lib/ivy master 0.10.0-381-g71cfa9b lib/magit master 2.13.0-155-gc686f54d lib/no-littering master v0.5.14-7-ga8618ec lib/org master release_9.1.13-896-g18998fd4c lib/ox-hugo master v0.8-316-g5cf5520 lib/projectile master v1.0.0-14-g9c6e981 lib/proof-site master v4.4-176-g52d1f920 | ||||
| * | [emacs] assimilate Proof General (for Coq) | Amin Bandali | 2018-07-06 | 1 | -0/+0 |
 |
index : configs | |
| My configuration for GNU Emacs and other programs |
| summaryrefslogtreecommitdiffstats |