aboutsummaryrefslogtreecommitdiff
path: root/solutions/preplogic-solutions.fls
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-11 11:10:25 +0200
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2020-09-11 11:10:25 +0200
commit7b0d377def293c11bd8d8c773c9c6e1c446c0c96 (patch)
tree485c2ca2d79e7f427f24bf3eaa446fe43675a53a /solutions/preplogic-solutions.fls
parent20d98cd9f56c169f56c4138e7e48f0a172f259d7 (diff)
downloadpreplogic-7b0d377def293c11bd8d8c773c9c6e1c446c0c96.tar.gz
preplogic-7b0d377def293c11bd8d8c773c9c6e1c446c0c96.zip
Added solutions
Diffstat (limited to 'solutions/preplogic-solutions.fls')
-rw-r--r--solutions/preplogic-solutions.fls111
1 files changed, 111 insertions, 0 deletions
diff --git a/solutions/preplogic-solutions.fls b/solutions/preplogic-solutions.fls
new file mode 100644
index 0000000..6b27302
--- /dev/null
+++ b/solutions/preplogic-solutions.fls
@@ -0,0 +1,111 @@
1PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/solutions
2INPUT /etc/texmf/web2c/texmf.cnf
3INPUT /usr/share/texmf/web2c/texmf.cnf
4INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
5INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
6INPUT preplogic-solutions.tex
7OUTPUT preplogic-solutions.log
8INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
9INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
10INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
11INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
12INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
13INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
14INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
15INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
16INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
17INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
18INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
19INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
20INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
21INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
22INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
23INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
24INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
25INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
26INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
27INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
28INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
29INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
30INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
31INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
32INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
33INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
34INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
35INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
36INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
37INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
38INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
39INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
40INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
41INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
42INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
43INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
44INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
45INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
46INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
47INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
48INPUT preplogic-solutions.aux
49INPUT preplogic-solutions.aux
50OUTPUT preplogic-solutions.aux
51INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
52INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
53INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
54INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
55INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
56INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
57INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
58INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
59INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
60INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
61INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
62INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm
63INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
64INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
65INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
66INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
67INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
68INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
69INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
70INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
71INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
72INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
73INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
74INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
75INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm
76INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
77INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
78INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm
79INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
80INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
81INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
82INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
83INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
84INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
85INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
86INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
87INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmti10.tfm
88INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbxti10.tfm
89INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx7.tfm
90INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx5.tfm
91OUTPUT preplogic-solutions.pdf
92INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
93INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd
94INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd
95INPUT preplogic-solutions.aux
96INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb
97INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
98INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbxti10.pfb
99INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb
100INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
101INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb
102INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb
103INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
104INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
105INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
106INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb
107INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb
108INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
109INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb
110INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb
111INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb

Generated with cgit - Back to sebastiano.tronto.net