summaryrefslogtreecommitdiffstats
path: root/lib/proof-site (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [emacs] update 4 dronesAmin Bandali2018-11-151-0/+0
| | | | | | | Update lib/helm to v3.0-41-g681eafbe Update lib/magit to v2.90.0-15-g8b32aa03 Update lib/proof-site to v4.4-211-g05df29f7 Update lib/which-key to v3.3.0-4-g43e3e3d
* [emacs] update 14 dronesAmin Bandali2018-11-011-0/+0
| | | | | | | | | | | | | | | | | lib/borg master v3.0.0-1-g73990d3 lib/closql master v1.0.0 lib/doom-modeline master v0.6.1 lib/emacsql master 3.0.0 lib/epkg master v3.1.1 lib/ghub master v3.0.0 lib/helpful master 0.15-7-g039345e lib/magit master 2.13.0-367-g39f22c97 lib/no-littering master v1.0.0 lib/org master release_9.1.14-1016-g85a675b93 lib/ox-hugo master v0.8-428-g6f495b9 lib/proof-site master v4.4-209-g15cf5a3f lib/web-mode master v16-43-g2d8c7fc lib/with-editor master v2.8.0
* [emacs] update 9 dronesAmin Bandali2018-10-311-0/+0
| | | | | | | | | | | | lib/borg master v2.0.0-73-g3144f29 lib/hydra master 0.14.0-20-gd071278 lib/ivy master 0.10.0-425-gbd980d8 lib/nix-mode master v1.2.2-65-g84ee980 lib/no-littering master v0.5.15 lib/projectile master v1.0.0-202-g2a3e27a lib/proof-site master v4.4-207-g79873925 lib/web-mode master v16-42-gc17db9b lib/with-editor master v2.7.4-7-g7ac5743
* [emacs] update 8 dronesAmin Bandali2018-09-291-0/+0
| | | | | | | | | | | lib/closql master v0.6.0-5-g253ceab lib/doom-modeline master v0.4.0-23-g671553d lib/helm master v3.0-8-g5bca5679 lib/ivy master 0.10.0-414-gc45233e lib/magit master 2.13.0-270-g7c74b660 lib/org master release_9.1.14-947-g8ef876053 lib/projectile master v1.0.0-107-g0c9ca04 lib/proof-site master v4.4-205-g5b7b84bc
* [emacs] update 5 dronesAmin Bandali2018-09-021-0/+0
| | | | | | | | lib/dante master 1.4-70-ge35bac2 lib/lcr master 1.1 lib/magit master 2.13.0-204-g852c7593 lib/org master release_9.1.14-908-gf1269e4c1 lib/proof-site master v4.4-203-g65d69a7a
* [emacs] update 4 dronesAmin Bandali2018-08-301-0/+0
| | | | | | | lib/doom-modeline master 0.4.0-6-gac03729 lib/magit master 2.13.0-203-g854fb0b0 lib/org master release_9.1.14-905-gee4dbaff6 lib/proof-site master v4.4-202-g6aeacf58
* [emacs] update 9 drones and remove generalAmin Bandali2018-08-291-0/+0
| | | | | | | | | | | | lib/borg master v2.0.0-68-ga495a46 lib/doom-modeline master 0.4.0-5-gad7c7ae lib/helm master v3.0-2-g40a3fd4f lib/magit master 2.13.0-193-g648ea6e5 lib/no-littering master v0.5.14-8-g3f6d290 lib/org master release_9.1.14-901-g38a89014a lib/ox-hugo master v0.8-348-g0af60fc lib/proof-site master v4.4-198-g69066bf2 lib/which-key master v3.3.0-2-gc938bbf
* [emacs] update 12 dronesAmin Bandali2018-08-231-0/+0
| | | | | | | | | | | | | | | lib/dante master 1.4-66-g8b3e799 lib/doom-modeline master 0.3.0-33-g9d15e92 lib/evil-collection master 5db4a9a lib/flycheck master 31-170-g10248d4b lib/ghub master v2.0.1-30-g48e91c0 lib/helm master v2.9.8-45-gc0449b96 lib/ivy master 0.10.0-387-g02537c9 lib/magit master 2.13.0-170-gce6bbc83 lib/org master release_9.1.14-897-g80d334085 lib/ox-hugo master v0.8-330-g35b7e1a lib/projectile master v1.0.0-22-ga4b447d lib/proof-site master v4.4-196-g95786256
* [emacs] update 7 dronesAmin Bandali2018-08-171-0/+0
| | | | | | | | | | lib/dante master 1.4-65-g94c46e8 lib/doom-modeline master 0.3.0-18-g70b1dd3 lib/magit master 2.13.0-168-g716dbaf9 lib/org master release_9.1.13-897-gab1f7712d lib/ox-hugo master v0.8-318-gefbb6ce lib/projectile master v1.0.0-21-g35be8e4 lib/proof-site master v4.4-178-gb7f17b7c
* [emacs] update 12 dronesAmin Bandali2018-08-141-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 Bandali2018-07-061-0/+0