| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [emacs] update 7 drones | Amin Bandali | 2018-08-17 | 1 | -0/+0 |
| * | [emacs] update 12 drones | Amin Bandali | 2018-08-14 | 1 | -0/+0 |
| * | [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 |