summaryrefslogtreecommitdiffstats
path: root/lib/proof-site (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [emacs] update 10 dronesAmin Bandali2018-12-191-0/+0
| | | | | | | | | | | | | Update diff-hl to 1.8.5-3-g2cddce4 Update doom-modeline to v1.1.0-11-g0d6e5f7 Update doom-themes to v2.1.6-38-g2f4a0cd Update evil-surround to 1.0.3-1-g9e445b7 Update ivy to 0.10.0-547-g7ff7d1d Update magit to v2.90.1-73-gf6e04ddd Update org to release_9.1.14-1077-g255c9c165 Update projectile to v1.0.0-211-gd625ecb Update proof-site to v4.4-222-g883ce2ff Update slack to 3f76747
* [emacs] update 9 dronesAmin Bandali2018-12-171-0/+0
| | | | | | | | | | | | Update borg to v3.0.1 Update doom-modeline to v1.1.0-7-g888efb6 Update evil-nerd-commenter to 3.3.2 Update evil-surround to 1.0.2-3-g897203c Update ht to 2.2-6-g8ec3eb9 Update magit to v2.90.1-70-g6f473b3f Update org to release_9.1.14-1067-g6656f1159 Update projectile to v1.0.0-210-g1ac0ded Update proof-site to v4.4-220-g1854459f
* [emacs] update 11 dronesAmin Bandali2018-12-141-0/+0
| | | | | | | | | | | | | | Update lib/company to 0.9.9-8-g8576100 Update lib/doom-modeline to v1.1.0-5-gee2aa11 Update lib/evil-nerd-commenter to 3.3.1-1-ga4ef4ec Update lib/flycheck to 31-194-gbaf96df4 Update lib/ivy to 0.10.0-538-gc897b56 Update lib/magit to v2.90.1-66-g9d9290bc Update lib/markdown-mode to v2.3-205-g906e97d Update lib/org to release_9.1.14-1065-gdc7477070 Update lib/pdf-tools to v0.80-144-gc41694f Update lib/proof-site to v4.4-217-g9a25320a Update lib/web-mode to v16-47-g5da977b
* [emacs] update 5 dronesAmin Bandali2018-12-131-0/+0
| | | | | | | | Update lib/company to 0.9.9 Update lib/evil-nerd-commenter to 3.3.1 Update lib/flycheck to 31-189-gb1b6c5c7 Update lib/nix-mode to v1.3.0-4-g1512d02 Update lib/proof-site to v4.4-213-g632a3d7f
* [emacs] update 3 dronesAmin Bandali2018-12-121-0/+0
| | | | | | Update lib/doom-modeline to v1.1.0-3-g14ac6dd Update lib/ivy to 0.10.0-526-g7e0fd2e Update lib/proof-site to v4.4-212-ga921439a
* [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