| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays | Amin Bandali | 2018-12-25 | 1 | -0/+0 |
| * | [emacs] Update 3 drones | Amin Bandali | 2018-12-22 | 1 | -0/+0 |
| * | [emacs] update 4 drones | Amin Bandali | 2018-12-20 | 1 | -0/+0 |
| * | [emacs] update 10 drones | Amin Bandali | 2018-12-19 | 1 | -0/+0 |
| * | [emacs] update 9 drones | Amin Bandali | 2018-12-17 | 1 | -0/+0 |
| * | [emacs] update 11 drones | Amin Bandali | 2018-12-14 | 1 | -0/+0 |
| * | [emacs] update 5 drones | Amin Bandali | 2018-12-13 | 1 | -0/+0 |
| * | [emacs] update 3 drones | Amin Bandali | 2018-12-12 | 1 | -0/+0 |
| * | [emacs] update 4 drones | Amin Bandali | 2018-11-15 | 1 | -0/+0 |
| * | [emacs] update 14 drones | Amin Bandali | 2018-11-01 | 1 | -0/+0 |
| * | [emacs] update 9 drones | Amin Bandali | 2018-10-31 | 1 | -0/+0 |
| * | [emacs] update 8 drones | Amin Bandali | 2018-09-29 | 1 | -0/+0 |
| * | [emacs] update 5 drones | Amin Bandali | 2018-09-02 | 1 | -0/+0 |
| * | [emacs] update 4 drones | Amin Bandali | 2018-08-30 | 1 | -0/+0 |
| * | [emacs] update 9 drones and remove general | Amin Bandali | 2018-08-29 | 1 | -0/+0 |
| * | [emacs] update 12 drones | Amin Bandali | 2018-08-23 | 1 | -0/+0 |
| * | [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 |