aboutsummaryrefslogtreecommitdiff
path: root/exercises/preplogic-exercises.fls
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-06 18:04:41 +0200
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-06 18:04:41 +0200
commit4ca009f025a29351bcf1160cd68d513f04687713 (patch)
tree316df069fd10e32d61403c055b024404dd3f74cf /exercises/preplogic-exercises.fls
downloadpreplogic-4ca009f025a29351bcf1160cd68d513f04687713.tar.gz
preplogic-4ca009f025a29351bcf1160cd68d513f04687713.zip
First commit
Diffstat (limited to 'exercises/preplogic-exercises.fls')
-rw-r--r--exercises/preplogic-exercises.fls85
1 files changed, 85 insertions, 0 deletions
diff --git a/exercises/preplogic-exercises.fls b/exercises/preplogic-exercises.fls
new file mode 100644
index 0000000..2dcc725
--- /dev/null
+++ b/exercises/preplogic-exercises.fls
@@ -0,0 +1,85 @@
1PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/exercises
2INPUT /usr/share/texmf-dist/web2c/texmf.cnf
3INPUT /usr/share/texmf-var/web2c/pdftex/pdflatex.fmt
4INPUT preplogic-exercises.tex
5OUTPUT preplogic-exercises.log
6INPUT /usr/share/texmf-dist/tex/latex/base/article.cls
7INPUT /usr/share/texmf-dist/tex/latex/base/article.cls
8INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
9INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
10INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty
11INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty
12INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
13INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
14INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
15INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
16INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
17INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
18INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
19INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
20INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
21INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
22INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
23INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
24INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
25INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
26INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
27INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
28INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
29INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
30INPUT preplogic-exercises.aux
31INPUT preplogic-exercises.aux
32OUTPUT preplogic-exercises.aux
33INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
34INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
35INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
36INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
37INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
38INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
39INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
40INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
41INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
42INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
43INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
44INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm
45INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
46INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
47INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
48INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
49INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
50INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
51INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
52INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
53INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
54INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
55INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
56INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
57INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
58INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
59INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm
60INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
61INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
62INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
63INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
64INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
65INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
66INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
67INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
68INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm
69OUTPUT preplogic-exercises.pdf
70INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map
71INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm
72INPUT preplogic-exercises.aux
73INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc
74INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb
75INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
76INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
77INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb
78INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
79INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
80INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
81INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb
82INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
83INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb
84INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb
85INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb

Generated with cgit - Back to sebastiano.tronto.net