<feed xmlns='http://www.w3.org/2005/Atom'>
<title>configs/lib/proof-site, branch main</title>
<subtitle>My configuration for GNU Emacs and other programs</subtitle>
<id>https://git.gnu.ca/~bandali/configs/atom?h=main</id>
<link rel='self' href='https://git.gnu.ca/~bandali/configs/atom?h=main'/>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/'/>
<updated>2018-12-24T21:17:54+00:00</updated>
<entry>
<title>[emacs][wip] remove all the package submodules</title>
<updated>2018-12-24T21:17:54+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-24T21:15:53+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=74626963731ccceba54e7a26cce8ea342e0fc646'/>
<id>urn:sha1:74626963731ccceba54e7a26cce8ea342e0fc646</id>
<content type='text'>
</content>
</entry>
<entry>
<title>[emacs] Update 3 drones</title>
<updated>2018-12-22T15:41:51+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-22T15:41:51+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=fda74f52b706447243a113efa4c768c80ead09de'/>
<id>urn:sha1:fda74f52b706447243a113efa4c768c80ead09de</id>
<content type='text'>
Update helm       to v3.0-75-gcfa340c5
Update org        to release_9.1.14-1105-g495c7c6a5
Update proof-site to v4.4-225-gf7cc8f1f
</content>
</entry>
<entry>
<title>[emacs] update 4 drones</title>
<updated>2018-12-20T14:20:40+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-20T14:20:40+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=a416ea9384a7da344b030bf4389808297b782e36'/>
<id>urn:sha1:a416ea9384a7da344b030bf4389808297b782e36</id>
<content type='text'>
Update dante      to  1.4-80-g8d5e00d
Update ghub       to v3.1.0
Update helm       to v3.0-71-g03f293db
Update proof-site to v4.4-224-gebb55c99
</content>
</entry>
<entry>
<title>[emacs] update 10 drones</title>
<updated>2018-12-20T04:46:54+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-20T04:46:54+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=d7d782e1924967e4111952a874e436b9c2ae1049'/>
<id>urn:sha1:d7d782e1924967e4111952a874e436b9c2ae1049</id>
<content type='text'>
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
</content>
</entry>
<entry>
<title>[emacs] update 9 drones</title>
<updated>2018-12-17T15:23:52+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-17T15:23:52+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=4f79e5626a84f7a5fdc8a42b423b501969056687'/>
<id>urn:sha1:4f79e5626a84f7a5fdc8a42b423b501969056687</id>
<content type='text'>
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
</content>
</entry>
<entry>
<title>[emacs] update 11 drones</title>
<updated>2018-12-14T22:16:49+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-14T22:16:49+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=79050e1173a7962f0b50f878e324fde449c4b9a9'/>
<id>urn:sha1:79050e1173a7962f0b50f878e324fde449c4b9a9</id>
<content type='text'>
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
</content>
</entry>
<entry>
<title>[emacs] update 5 drones</title>
<updated>2018-12-13T15:45:44+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-13T15:45:44+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=7b18368d4277a9f29f0bbe7366ff043f5a325d97'/>
<id>urn:sha1:7b18368d4277a9f29f0bbe7366ff043f5a325d97</id>
<content type='text'>
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
</content>
</entry>
<entry>
<title>[emacs] update 3 drones</title>
<updated>2018-12-12T20:26:13+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-12-12T20:26:13+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=e87abe21e1508a23d17c14b02ca9b0244b329106'/>
<id>urn:sha1:e87abe21e1508a23d17c14b02ca9b0244b329106</id>
<content type='text'>
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
</content>
</entry>
<entry>
<title>[emacs] update 4 drones</title>
<updated>2018-11-15T20:26:23+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-11-15T20:26:23+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=ec4d519dcc63257433acf4e926f788e6f11caf84'/>
<id>urn:sha1:ec4d519dcc63257433acf4e926f788e6f11caf84</id>
<content type='text'>
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
</content>
</entry>
<entry>
<title>[emacs] update 14 drones</title>
<updated>2018-11-01T22:28:49+00:00</updated>
<author>
<name>Amin Bandali</name>
<email>bandali@gnu.org</email>
</author>
<published>2018-11-01T22:28:49+00:00</published>
<link rel='alternate' type='text/html' href='https://git.gnu.ca/~bandali/configs/commit/?id=1aa90613c027ab54dc66287d0a7b562507a195b3'/>
<id>urn:sha1:1aa90613c027ab54dc66287d0a7b562507a195b3</id>
<content type='text'>
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
</content>
</entry>
</feed>
