-
Notifications
You must be signed in to change notification settings - Fork 0
/
init.el
31 lines (27 loc) · 24.6 KB
/
init.el
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
(require 'package)
(setq package-enable-at-startup nil)
(add-to-list 'package-archives
'("melpa" . "https://melpa.org/packages/"))
(package-initialize)
(unless (package-installed-p 'use-package)
(package-refresh-contents)
(package-install 'use-package))
(org-babel-load-file (expand-file-name "~/.emacs.d/config.org"))
(custom-set-variables
;; custom-set-variables was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
'(TeX-source-correlate-method 'synctex)
'(TeX-source-correlate-mode t)
'(TeX-source-correlate-start-server t)
'(org-agenda-files
'("~/workspace/LC1-github/files/lc1/lc1-2020-2-participantes.org" "~/workspace/LC1-github/lc1-2016-2.org" "~/workspace/LC1-github/lc1-2017-1.org" "~/workspace/LC1-github/lc1-2017-2.org" "~/workspace/LC1-github/lc1-2018-1.org" "~/workspace/LC1-github/lc1-2018-2.org" "~/workspace/LC1-github/lc1-2019-1.org" "~/workspace/LC1-github/lc1-2019-1prova2-gabarito.org" "~/workspace/LC1-github/lc1-2019-1prova2.org" "~/workspace/LC1-github/lc1-2019-2.org" "~/workspace/LC1-github/lc1-2019-2prova1-gabarito.org" "~/workspace/LC1-github/lc1-2019-2prova1.org" "~/workspace/LC1-github/lc1-2019-2prova2.org" "~/workspace/LC1-github/lc1-2020-1-ind-est-listas.org" "~/workspace/LC1-github/lc1-2020-1.org" "~/workspace/LC1-github/lc1-2020-1planodeensino.org" "~/workspace/LC1-github/lc1-2020-2-aula1.org" "~/workspace/LC1-github/lc1-2020-2-aula6.org" "~/workspace/LC1-github/lc1-2020-2-indequiv.org" "~/workspace/LC1-github/lc1-2020-2.org" "~/workspace/LC1-github/lc1-2020-2planoensino.org" "~/workspace/LC1-github/lc1-2020-2projeto-p1.org" "~/workspace/LC1-github/lc1-2020-2projeto-p2.org" "~/workspace/LC1-github/lc1-2021-1-projeto.org" "~/workspace/LC1-github/lc1-2021-1.org" "~/workspace/LC1-github/lc1-2021-1planodeensino.org" "~/workspace/LC1-github/lc1-notasdeaulas.org" "~/workspace/LC1-github/lc1-puzzles2019.org" "~/workspace/LC1-github/lc1.org" "~/workspace/LexProject-old/lex.org" "~/workspace/LexProject-old/teste.org" "~/workspace/LexProject/lex.org" "~/workspace/PAA-github/pdfs/paa-notasdeaulas.org" "~/workspace/PAA-github/paa-2018-1.org" "~/workspace/PAA-github/paa-2018-2.org" "~/workspace/PAA-github/paa-2019-1.org" "~/workspace/PAA-github/paa-2019-2.org" "~/workspace/PAA-github/paa-2020-1-projeto1.org" "~/workspace/PAA-github/paa-2020-1.org" "~/workspace/PAA-github/paa-2020-1planodeensino.org" "~/workspace/PAA-github/paa-2020-2.org" "~/workspace/PAA-github/paa-2020-2planoensino.org" "~/workspace/PAA-github/paa-2021-1.org" "~/workspace/PAA-github/paa-2021-1planodeensino.org" "~/workspace/PAA-github/paa.org" "~/workspace/VFP-github/vfp-2017-2.org" "~/workspace/VFP-github/vfp-2018-2.org" "~/workspace/Zproperty-presentations/XIIIworkshopMAT.org" "~/workspace/Zproperty/latex/zprop.org" "~/workspace/Zproperty2/latex/zprop.org" "~/workspace/a3m-provasformais/ebook/ebook-vol1.org" "~/workspace/a3m-provasformais/ebook/ebook-vol2.org" "~/workspace/a3m-provasformais/ebook.org" "~/workspace/chemacs/README.org" "~/workspace/confluencia/resumo.org" "~/workspace/dotemacs/config.org" "~/workspace/flaviodemoura.github.io/files/lc1/lc1-2020-2-participantes.org" "~/workspace/flaviodemoura.github.io/files/CiE2010.org" "~/workspace/flaviodemoura.github.io/files/MSNorm.org" "~/workspace/flaviodemoura.github.io/files/Mou02.org" "~/workspace/flaviodemoura.github.io/files/Mou06.org" "~/workspace/flaviodemoura.github.io/files/alcs.org" "~/workspace/flaviodemoura.github.io/files/apal05.org" "~/workspace/flaviodemoura.github.io/files/dpWS04.org" "~/workspace/flaviodemoura.github.io/files/fsttcs14.org" "~/workspace/flaviodemoura.github.io/files/ictac16.org" "~/workspace/flaviodemoura.github.io/files/igpl14.org" "~/workspace/flaviodemoura.github.io/files/iwil2004.org" "~/workspace/flaviodemoura.github.io/files/jal08.org" "~/workspace/flaviodemoura.github.io/files/jancl06.org" "~/workspace/flaviodemoura.github.io/files/lex14.org" "~/workspace/flaviodemoura.github.io/files/livroIaC.org" "~/workspace/flaviodemoura.github.io/files/lpar04.org" "~/workspace/flaviodemoura.github.io/files/lsfa2010.org" "~/workspace/flaviodemoura.github.io/files/lsfa2011.org" "~/workspace/flaviodemoura.github.io/files/wollic02.org" "~/workspace/flaviodemoura.github.io/files/wollic2010.org" "~/workspace/flaviodemoura.github.io/index.org" "~/workspace/flaviodemoura.github.io/publications.org" "~/workspace/pts-github/russia.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/arrumarDropboxPublic/lsfa2017.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/aulas/lc1/org/lc1-2014-2.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/aulas/lc1/org/lc1-20151.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/aulas/lc1/org/lc1.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/aulas/lc1/org/planodeensino.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/aulas/vfp/org/motivacao.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/aulas/vfp/org/planodeensino-vfp.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/aulas/vfp/org/vfp.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/ftc.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/org-coq-example.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/org-modeDOC.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/sen-meeting_2013-01-17.org" "~/Dropbox/Documentos/Flavio/MacBookProOrganizar/test.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/MyOrg-GDrive/flavio.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/MyOrg-GDrive/inbox.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/teaching/ftc.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/teaching/lc1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/algoritmosImperativos.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/expansibilidade.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/flavio.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/flavioOLD.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/flavioTMP.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/lc1-2015-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/lc1-notas.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/orcamento.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/research (casa's conflicted copy 2016-06-09).org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/research.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/resume.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/schedule.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/talvez.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/teaching.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/teste.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/ended/weeklyreview.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/FTC/FTC/2016-1/ftc.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/FTC/FTC/2016-2/ftc-2016-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/FTC/FTC/ftc-2017-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/FTC/FTC/ftc-2017-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/2017-2/provasFormais.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/2017-2/vfp-2017-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/sf/sf-2016/sf.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/vfp/org/motivacao.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/vfp/org/planodeensino-vfp.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/vfp/org/vfp.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/pfTT.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/VFP/vfp-2017-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/lc1/LC1/lc1/org/lc1-2014-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/lc1/LC1/lc1/org/lc1-20151.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/lc1/LC1/lc1/org/lc1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/lc1/LC1/lc1/org/planodeensino.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/files/lc1/estatisticas.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/CiE2010.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/MSNorm.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/Mou02.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/Mou06.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/alcs.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/apal05.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/dpWS04.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/fsttcs14.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/ictac16.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/igpl14.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/iwil2004.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/jal08.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/jancl06.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/lex14.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/livroIaC.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/lpar04.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/lsfa2010.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/lsfa2011.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/wollic02.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/files/wollic2010.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/homepage/index.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/org-ref/README.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/org-ref/org-ref.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/roam/batatainglesa.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/roam/inbox.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019-1prova2LC1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019-1prova2LC1gabarito.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019-2prova1LC1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019-2prova1LC1gabarito.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019-2prova2LC1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr dietaDengo.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr planodeTrabalhoGabriel.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr planodetrabalhoFelipe.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr projetopibicLeandro.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr reviewITP2019.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr tereseA1-A3.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr tg1-gabriel-taumaturgo.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr tg1-gerson-antunes.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr trancamentoMichelMelo.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019AbrMichelMelo.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Abr_Zprop.orgGitHub.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019Mai_parecerCADE.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019SetLogPropPuzzles.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/2019SetRelatorioColegiadoCIC.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/MSNorm.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/compositionalZ.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/consulta.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/cv.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/diary.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/ensino.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/entrada.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/financas.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/financas2017.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/ic.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/inbox.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/index.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2016-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2017-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2017-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2018-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2018-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2019-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2019-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lc1-2020-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/lsfa2014.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/mbib.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/notasdeaulas.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/notes.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/paa-2018-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/paa-2019-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/paa-2019-2.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/paa-2020-1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/pesquisa.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/pessoal.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/planoLC1.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/planoPAA.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/projetoIC-2019-2020.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/projetodepesquisa.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/projetos.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/publications.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/qualificacao.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/rascunho.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/russia.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/s4.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/talvez.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/tasks.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/tcc.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/teaching.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/teste.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/tg1-gabrielTaumaturgo.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/tickler.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/trabalho.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/unb.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/roam/zproperty.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/2019Abr michelMelo.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/2019Abr_Zprop.org" "~/Dropbox/Documentos/Flavio/MyOrgOLD/pessoal.org" "~/Dropbox/Documentos/Flavio/workspace-git/LexProject/lex.org" "~/Dropbox/Documentos/Flavio/workspace-git/Zproperty/.git/Zproperty.org" "~/Dropbox/Documentos/Flavio/workspace-git/Zproperty/zproperty.org" "~/Dropbox/Documentos/Flavio/workspace-git/bookalcs/talks/proof4Uv2.org" "~/Dropbox/Documentos/Flavio/workspace-git/bookalcs/talks/proofs4U.org" "~/Dropbox/Documentos/Flavio/workspace-git/bookalcs/talks/proofs4Uv3.org" "~/Dropbox/Documentos/Flavio/workspace-git/bookalcs/talks/proofs4Uv4.org" "~/Dropbox/Documentos/Flavio/workspace-git/bookalcs/alcs.org" "~/Dropbox/Documentos/Flavio/workspace-git/dotfiles/config.org" "~/Dropbox/Documentos/Flavio/workspace-git/homesd/matching.org" "~/Dropbox/Documentos/Flavio/workspace-git/houesd/houesd.org" "~/Dropbox/Documentos/Flavio/workspace-git/houm/houesdb.org" "~/Dropbox/Documentos/Flavio/workspace-git/lc1/2016-1/lc1.org" "~/Dropbox/Documentos/Flavio/workspace-git/lc1/styles/readtheorg/readtheorg.org" "~/Dropbox/Documentos/Flavio/workspace-git/lc1/lc1-2016-2.org" "~/Dropbox/Documentos/Flavio/workspace-git/lc1/lc1-2017-1.org" "~/Dropbox/Documentos/Flavio/workspace-git/lc1/lc1-2017-2.org" "~/Dropbox/Documentos/Flavio/workspace-git/lc1/lc1-2018-1.org" "~/Dropbox/Documentos/Flavio/workspace-git/lex-github/lex.org" "~/Dropbox/Documentos/Flavio/workspace-git/lex-head/lex.org" "~/Dropbox/Documentos/Flavio/workspace-git/lex/lextoday.org" "~/Dropbox/Documentos/Flavio/workspace-git/lex2/lex.org" "~/Dropbox/Documentos/Flavio/workspace-git/lsfa2017/accepted.org" "~/Dropbox/Documentos/Flavio/workspace-git/lsfa2017/lsfa2017.org" "~/Dropbox/Documentos/Flavio/workspace-git/new-lc1/2016-1/lc1.org" "~/Dropbox/Documentos/Flavio/workspace-git/new-lc1/2016-2/lc1-2016-2.org" "~/Dropbox/Documentos/Flavio/workspace-git/new-lc1/2017-1/lc1-2017-1.org" "~/Dropbox/Documentos/Flavio/workspace-git/new-lc1/lc1-2016-2.org" "~/Dropbox/Documentos/Flavio/workspace-git/new-lc1/lc1-2017-1.org" "~/Dropbox/Documentos/Flavio/workspace-git/new-lex/lex.org" "~/Dropbox/Documentos/Flavio/workspace-git/propostas/DemandaEspontaneaFAPDF_Ed042017.org" "~/Dropbox/Documentos/Flavio/workspace-git/russia-csr15/russia.org" "~/Dropbox/Documentos/Flavio/workspace/pesquisa/aulas.org" "~/Dropbox/Documentos/Flavio/workspace/pesquisa/coord.org" "~/Dropbox/Documentos/Flavio/workspace/pesquisa/horario.org" "~/Dropbox/Documentos/Flavio/workspace/pesquisa/notes.org" "~/Dropbox/Documentos/Flavio/workspace/pesquisa/pesquisa.org" "~/Dropbox/Documentos/Flavio/workspace/pesquisa/pessoal.org" "~/Dropbox/My Mac (Flávio’s MacBook Pro)/Downloads/Mail/V2/POP-flavio@[email protected]/INBOX.mbox/97C33D20-C7E7-4FA1-A45D-A00FE75C2E40/Data/3/0/1/Attachments/103367/2/horario.org" "~/Dropbox/My Mac (Flávio’s MacBook Pro)/Downloads/Mail/V2/POP-flavio@[email protected]/INBOX.mbox/97C33D20-C7E7-4FA1-A45D-A00FE75C2E40/Data/6/2/Attachments/26697/2/horario.org" "~/Dropbox/My Mac (Flávio’s MacBook Pro)/Downloads/lsfa2017/lsfa2017/lsfa2017/accepted.org" "~/Dropbox/My Mac (Flávio’s MacBook Pro)/Downloads/lsfa2017/lsfa2017/lsfa2017/lsfa2017.org" "~/Dropbox/My Mac (Flávio’s MacBook Pro)/Downloads/Resume_Mehdi_Vahab.org" "~/Dropbox/My Mac (Flávio’s MacBook Pro)/Downloads/lc1-2020-2.org" "~/Dropbox/My Mac (Flávio’s MacBook Pro)/Downloads/sample.org" "~/Dropbox/UnB/Eventos/lsfa2017/lsfa2017baixadoDropbox2020Jul/lsfa2017/accepted.org" "~/Dropbox/UnB/Eventos/lsfa2017/lsfa2017baixadoDropbox2020Jul/lsfa2017/lsfa2017.org" "~/Dropbox/UnB/ProgressaoFuncional/comprovantesAdj4-Ass1.org" "~/Dropbox/UnB/ProgressaoFuncional/comprovantesAss1-Ass2.org" "~/Dropbox/UnB/admin-unb/coordenacao/BCT/bct.org" "~/Dropbox/org/files/CiE2010.org" "~/Dropbox/org/files/MSNorm.org" "~/Dropbox/org/files/Mou02.org" "~/Dropbox/org/files/Mou06.org" "~/Dropbox/org/files/alcs.org" "~/Dropbox/org/files/apal05.org" "~/Dropbox/org/files/dpWS04.org" "~/Dropbox/org/files/fsttcs14.org" "~/Dropbox/org/files/ictac16.org" "~/Dropbox/org/files/igpl14.org" "~/Dropbox/org/files/iwil2004.org" "~/Dropbox/org/files/jal08.org" "~/Dropbox/org/files/jancl06.org" "~/Dropbox/org/files/lex14.org" "~/Dropbox/org/files/livroIaC.org" "~/Dropbox/org/files/lpar04.org" "~/Dropbox/org/files/lsfa2010.org" "~/Dropbox/org/files/lsfa2011.org" "~/Dropbox/org/files/wollic02.org" "~/Dropbox/org/files/wollic2010.org" "~/Dropbox/org/journal/20180101.org" "~/Dropbox/org/journal/20180102.org" "~/Dropbox/org/journal/20180104.org" "~/Dropbox/org/journal/20180105.org" "~/Dropbox/org/journal/20180106.org" "~/Dropbox/org/journal/20180111.org" "~/Dropbox/org/journal/20180112.org" "~/Dropbox/org/journal/20180114.org" "~/Dropbox/org/journal/20180129.org" "~/Dropbox/org/journal/20180207.org" "~/Dropbox/org/journal/20180208.org" "~/Dropbox/org/journal/20180322.org" "~/Dropbox/org/journal/20180425.org" "~/Dropbox/org/journal/20180511.org" "~/Dropbox/org/journal/20180522.org" "~/Dropbox/org/journal/20180523.org" "~/Dropbox/org/journal/20180622.org" "~/Dropbox/org/journal/20181009.org" "~/Dropbox/org/journal/20181030.org" "~/Dropbox/org/journal/20181101.org" "~/Dropbox/org/journal/20181109.org" "~/Dropbox/org/journal/20181111.org" "~/Dropbox/org/journal/20181113.org" "~/Dropbox/org/journal/20181114.org" "~/Dropbox/org/journal/20181116.org" "~/Dropbox/org/journal/20181120.org" "~/Dropbox/org/journal/20181123.org" "~/Dropbox/org/journal/20181127.org" "~/Dropbox/org/journal/20181130.org" "~/Dropbox/org/journal/20181201.org" "~/Dropbox/org/journal/20190321.org" "~/Dropbox/org/journal/20190528.org" "~/Dropbox/org/journal/20190920.org" "~/Dropbox/org/journal/20190921.org" "~/Dropbox/org/journal/20190922.org" "~/Dropbox/org/journal/20190923.org" "~/Dropbox/org/journal/20190924.org" "~/Dropbox/org/journal/20190925.org" "~/Dropbox/org/journal/20191107.org" "~/Dropbox/org/journal/2020-06-13.org" "~/Dropbox/org/2019-1prova1PAAgabarito.org" "~/Dropbox/org/2019-1prova2PAA.org" "~/Dropbox/org/2019-1prova3PAA.org" "~/Dropbox/org/2019-2projetoPAA.org" "~/Dropbox/org/2019-2prova1PAA.org" "~/Dropbox/org/2019-2prova1PAAgabarito.org" "~/Dropbox/org/2019-2prova2PAA.org" "~/Dropbox/org/2019-2prova2PAAgabarito.org" "~/Dropbox/org/2019Abr dietaDengo.org" "~/Dropbox/org/2019Abr planodeTrabalhoGabriel.org" "~/Dropbox/org/2019Abr planodetrabalhoFelipe.org" "~/Dropbox/org/2019Abr projetopibicLeandro.org" "~/Dropbox/org/2019Abr reviewITP2019.org" "~/Dropbox/org/2019Abr tereseA1-A3.org" "~/Dropbox/org/2019Abr tg1-gabriel-taumaturgo.org" "~/Dropbox/org/2019Abr tg1-gerson-antunes.org" "~/Dropbox/org/2019Abr trancamentoMichelMelo.org" "~/Dropbox/org/2019AbrMichelMelo.org" "~/Dropbox/org/2019Abr_Zprop.org" "~/Dropbox/org/2019Abr_Zprop.orgGitHub.org" "~/Dropbox/org/20200610145704-hn_learningcomplextechnicalinformation.org" "~/Dropbox/org/20200610151116-procap.org" "~/Dropbox/org/20200610151457-moodle.org" "~/Dropbox/org/20200610151524-ead.org" "~/Dropbox/org/20200911175914-coq.org" "~/Dropbox/org/20201220164149-sessao_de_psicoterapia.org" "~/Dropbox/org/20201221123235-leituras.org" "~/Dropbox/org/20201222165433-configuracoes.org" "~/Dropbox/org/20201227103248-dengosusy.org" "~/Dropbox/org/20210106155638-paa_2020_2 2.org" "~/Dropbox/org/20210114171956-xiii_workshop_de_verao_do_mat.org" "~/Dropbox/org/AMAI-D-20-00236.org" "~/Dropbox/org/MSCS-2021-012_Proof_hi.org" "~/Dropbox/org/MSNorm.org" "~/Dropbox/org/abel19_failur_normal_impred_type_theor.org" "~/Dropbox/org/abelfailurenormalizationimpredicative2020.org" "~/Dropbox/org/adm-unb-parecerCADE2019.org" "~/Dropbox/org/adm-unb-proposta-ccar2020-1.org" "~/Dropbox/org/adm-unb-proposta-graduacao.org" "~/Dropbox/org/alcs.org" "~/Dropbox/org/autobiografia_infancia.org" "~/Dropbox/org/ayala_rinconappliedlogiccomputer2017.org" "~/Dropbox/org/belle20_symbol_logic_meets_machin_learn.org" "~/Dropbox/org/bruijn72:_lambd_churc_rosser.org" "~/Dropbox/org/colegiado-cic-pauta2020.org" "~/Dropbox/org/colegiado-cic-relatorio2019Set.org" "~/Dropbox/org/compositionalZ.org" "~/Dropbox/org/consulta.org" "~/Dropbox/org/coq.org" "~/Dropbox/org/coquand20_loren_proof_consis_elemen_number.org" "~/Dropbox/org/cv.org" "~/Dropbox/org/diary.org" "~/Dropbox/org/drabent19_correc_n_queen_progr.org" "~/Dropbox/org/du2020mechanized.org" "~/Dropbox/org/ebook-vol1.org" "~/Dropbox/org/ebook-vol2.org" "~/Dropbox/org/ensino.org" "~/Dropbox/org/entrada.org" "~/Dropbox/org/eric-paper.org" "~/Dropbox/org/escrita.org" "~/Dropbox/org/escrita_para_autoconhecimento_e_desenvolvimento_pessoal.org" "~/Dropbox/org/extrato.org" "~/Dropbox/org/financas.org" "~/Dropbox/org/financas2017.org" "~/Dropbox/org/financasOLD.org" "~/Dropbox/org/flavio.org" "~/Dropbox/org/ftc-2016-2.org" "~/Dropbox/org/ftc-2017-1.org" "~/Dropbox/org/honestosdesonestos-1.org" "~/Dropbox/org/honestosdesonestos-2.org" "~/Dropbox/org/honestosdesonestos-3.org" "~/Dropbox/org/houesd.org" "~/Dropbox/org/hw-job.org" "~/Dropbox/org/ic-projeto-2019-2020.org" "~/Dropbox/org/ic.org" "~/Dropbox/org/iiiguideteachingpuzzlebased2014.org" "~/Dropbox/org/inbox.org" "~/Dropbox/org/index.org" "~/Dropbox/org/inicial.org" "~/Dropbox/org/lex.org" "~/Dropbox/org/lnr.org" "~/Dropbox/org/lrt.org" "~/Dropbox/org/lsfa2014.org" "~/Dropbox/org/lsfa2017.org" "~/Dropbox/org/martin20_pure_patter_calcul_la_de_bruij.org" "~/Dropbox/org/matching.org" "~/Dropbox/org/meuteste.org" "~/Dropbox/org/mollermodellingcomputingsystems2013.org" "~/Dropbox/org/nominal.org" "~/Dropbox/org/notes-backup.org" "~/Dropbox/org/notes.org" "~/Dropbox/org/ohtsukaproofsubstitutionlemma1993.org" "~/Dropbox/org/oostrom20.org" "~/Dropbox/org/oquevaleserlido.org" "~/Dropbox/org/org-show.org" "~/Dropbox/org/orgroam.org" "~/Dropbox/org/paa-notasdeaulas-old.org" "~/Dropbox/org/paa-notasdeaulas.org" "~/Dropbox/org/paper.org" "~/Dropbox/org/pesquisa-projeto.org" "~/Dropbox/org/pesquisa.org" "~/Dropbox/org/pessoal.org" "~/Dropbox/org/projetos.org" "~/Dropbox/org/psicoterapia.org" "~/Dropbox/org/publications.org" "~/Dropbox/org/renatawassermann.org" "~/Dropbox/org/research.org" "~/Dropbox/org/russia.org" "~/Dropbox/org/s4.org" "~/Dropbox/org/schedule.org" "~/Dropbox/org/sf.org" "~/Dropbox/org/smullyanlogicallabyrinths2009.org" "~/Dropbox/org/swartphilosophicalmathematicallogic2018.org" "~/Dropbox/org/symboliclogic.org" "~/Dropbox/org/tasks.org" "~/Dropbox/org/tcc.org" "~/Dropbox/org/teaching.org" "~/Dropbox/org/teste.org" "~/Dropbox/org/tg1-gabrielTaumaturgo.org" "~/Dropbox/org/tickler.org" "~/Dropbox/org/tikz-orgmode.org" "~/Dropbox/org/tikz-orgmode2.org" "~/Dropbox/org/trabalho.org" "~/Dropbox/org/typetheory.org" "~/Dropbox/org/unb.org" "~/Dropbox/org/unbminutacepe2020.org" "~/Dropbox/org/weeklyreview.org" "~/Dropbox/org/willisonmodelsengagedlearning2020.org" "~/Dropbox/org/zhuProgramTransformationConstructive1995.org" "~/Dropbox/org/zproperty.org"))
'(package-selected-packages
'(use-package try smartparens proof-general ox-reveal orgit org-roam-bibtex org-noter org-journal org-gcal modus-vivendi-theme git-timemachine git-gutter flymake-grammarly flycheck-irony flycheck-grammarly company-irony bbdb auctex ace-window)))
(custom-set-faces
;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
)