Created
August 2, 2019 11:24
-
-
Save catalin-hritcu/1fda4f6dae2703152e7cf864af060df4 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -*- mode: compilation; default-directory: "~/Projects/fstar/kenji-phd/" -*- | |
| Compilation started at Fri Aug 2 13:23:11 | |
| make -k | |
| rm -f main.log | |
| pdflatex -synctex=-1 -interaction nonstopmode main &> /dev/null | |
| make: [Makefile:13: pulp] Error 1 (ignored) | |
| bibtex main | sed -r -e "/Repeated entry/,/I'm skipping/ d" | |
| This is BibTeX, Version 0.99d (TeX Live 2019/Arch Linux) | |
| The top-level auxiliary file: main.aux | |
| A level-1 auxiliary file: abstract.aux | |
| A level-1 auxiliary file: introduction.aux | |
| A level-1 auxiliary file: monadic.aux | |
| A level-1 auxiliary file: categorical.aux | |
| A level-1 auxiliary file: monadtransformers.aux | |
| A level-1 auxiliary file: dijkstramonads.aux | |
| A level-1 auxiliary file: relational.aux | |
| A level-1 auxiliary file: programreasoning.aux | |
| The style file: abbrvnat.bst | |
| Database file #1: phd.bib | |
| pdflatex -synctex=-1 -interaction nonstopmode main &> /dev/null | |
| make: [Makefile:15: pulp] Error 1 (ignored) | |
| pdflatex -synctex=-1 -interaction nonstopmode main &> /dev/null | |
| make: [Makefile:16: pulp] Error 1 (ignored) | |
| pdflatex -synctex=-1 -interaction nonstopmode main &> /dev/null | |
| make: [Makefile:17: pulp] Error 1 (ignored) | |
| "/home/hritcu/.cabal/bin/pulp" main.log | grep -v "/usr/share/texmf-dist/tex/" | |
| ./monadic.tex:760-760: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure0" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure0' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure0.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:151-151: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure1" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure1' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure1.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:157-157: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure2" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure2' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure2.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:165-165: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure3" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure3' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure3.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:170-170: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure4" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure4' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure4.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:179-179: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure5" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure5' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure5.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:186-186: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure6" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure6' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure6.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:195-195: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure7" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure7' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure7.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:201-201: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure8" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure8' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure8.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:222-222: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure9" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure9' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure9.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:228-228: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure10" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure10' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure10.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:234-234: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure11" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure11' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure11.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:242-242: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure12" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure12' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure12.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:294-294: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure13" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure13' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure13.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:341-341: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure14" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure14' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure14.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./tikzit/basicCell.tikz:19-19: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure15" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure15' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure15.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./categorical.tex:358-358: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure16" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure16' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure16.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./tikzit/natTransDistr.tikz:13-13: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure17" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure17' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure17.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/nicheFiller.tikz:35-35: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure18" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure18' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure18.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/cartesianFiller.tikz:57-57: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure19" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure19' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure19.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/companionConjointParis.tikz:78-78: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure20" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure20' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure20.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./categorical.tex:413-413: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure21" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure21' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure21.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:420-420: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure22" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure22' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure22.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:426-426: TeX error: Font U/min/m/n/10=udmj30 at 10.0pt not loadable: Metric (TFM) file not found.<to be read again> relax | |
| presheaf'' $\yon | |
| _C$, that is a framed functor from $\F^\op$, the fram... | |
| ./categorical.tex:426-426: TeX error: Font U/min/m/n/7=udmj30 at 7.0pt not loadable: Metric (TFM) file not found. | |
| presheaf'' $\yon | |
| _C$, that is a framed functor from $\F^\op$, the fram... | |
| <to be read again> | |
| relax | |
| ./categorical.tex:426-426: TeX error: Font U/min/m/n/5=udmj30 at 5.0pt not loadable: Metric (TFM) file not found. | |
| presheaf'' $\yon | |
| _C$, that is a framed functor from $\F^\op$, the fram... | |
| <to be read again> | |
| relax | |
| ./categorical.tex:450-450: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure23" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure23' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure23.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:460-460: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure24" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure24' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure24.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:472-472: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure25" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure25' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure25.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:480-480: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure26" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure26' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure26.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:505-505: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure27" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure27' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure27.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:516-516: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure28" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure28' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure28.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:523-523: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure29" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure29' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure29.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:528-528: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure30" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure30' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure30.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:642-642: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure31" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure31' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure31.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./tikzit/ret.tikz:13-13: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure32" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure32' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure32.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./categorical.tex:653-653: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure33" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure33' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure33.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./tikzit/bind.tikz:23-23: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure34" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure34' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure34.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/bindCell.tikz:57-57: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure35" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure35' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure35.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/retbind.tikz:31-31: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure36" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure36' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure36.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/bindret.tikz:42-42: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure37" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure37' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure37.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/bindbind.tikz:71-71: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure38" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure38' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure38.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/leftModule.tikz:23-23: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure39" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure39' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure39.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/leftModuleRet.tikz:43-43: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure40" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure40' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure40.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/leftModuleBind.tikz:71-71: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure41" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure41' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure41.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/leftModuleMorphismEq.tikz:59-59: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure42" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure42' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure42.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/algmVerticalOneCellAction.tikz:27-27: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure43" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure43' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure43.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/algmHorizontalEq.tikz:51-51: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure44" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure44' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure44.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./categorical.tex:893-893: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure45" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure45' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure45.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:914-914: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure46" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure46' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure46.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./categorical.tex:923-923: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure47" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure47' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure47.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./tikzit/rightModuleRet.tikz:31-31: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure48" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure48' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure48.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/rightModuleBind.tikz:71-71: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure49" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure49' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure49.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/rightModuleMorphismEq.tikz:56-56: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure50" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure50' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure50.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonmorphBaseNatTrans.tikz:19-19: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure51" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure51' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure51.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonmorphBaseNatTransInv.tikz:19-19: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure52" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure52' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure52.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonmorphNatTrans.tikz:19-19: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure53" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure53' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure53.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonmorphRet.tikz:45-45: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure54" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure54' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure54.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonmorphBind.tikz:83-83: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure55" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure55' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure55.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonModificationDom.tikz:13-13: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure56" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure56' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure56.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonModificationCod.tikz:13-13: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure57" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure57' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure57.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonModificationNaturality.tikz:45-45: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure58" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure58' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure58.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/relmonModificationNaturalityBis.tikz:45-45: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure59" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure59' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure59.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./categorical.tex:1079-1079: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure60" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure60' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure60.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./tikzit/ProofEquivRelMonadId/ret.tikz:15-15: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure61" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure61' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure61.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/ProofEquivRelMonadId/multiplication.tikz:30-30: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure62" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure62' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure62.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/ProofEquivRelMonadId/UnitMultLaw.tikz:37-37: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure63" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure63' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure63.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/ProofEquivRelMonadId/MultUnitLaw.tikz:37-37: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure64" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure64' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure64.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/ProofEquivRelMonadId/MultAssocLaw.tikz:93-93: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure65" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure65' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure65.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./monadtransformers.tex:130-130: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure66" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure66' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure66.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./tikzit/monadMorphToLiftAlg.tikz:43-43: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure67" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure67' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure67.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/monadMorphToLiftAlgRetEq.tikz:88-88: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure68" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure68' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure68.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/monadMorphToLiftAlgBindEq.tikz:183-183: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure69" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure69' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure69.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/monadMorphToLiftAlgBindAlgMorph.tikz:141-141: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure70" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure70' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure70.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/liftAlgToMonadMorph.tikz:31-31: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure71" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure71' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure71.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/liftAlgToMonadMorphRetEq.tikz:65-65: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure72" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure72' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure72.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/liftAlgToMonadMorphBindEq.tikz:215-215: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure73" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure73' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure73.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/liftAlgToMonadMorphAndBack.tikz:101-101: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure74" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure74' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure74.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./tikzit/monadMorphToLiftAlgAndBack.tikz:40-40: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure75" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure75' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure75.log'. If you continue now, I'll try to typeset the picture. | |
| \end{tikzpicture} | |
| ... | |
| ./monadtransformers.tex:536-536: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure76" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure76' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure76.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./monadtransformers.tex:999-999: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure77" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure77' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure77.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| ./monadtransformers.tex:1017-1017: tikz error: Sorry, the system call 'pdflatex -halt-on-error -interaction=batchmode -jobname "main-figure78" "\def\tikzexternalrealjob{main}\input{main}"' did NOT result in a usable output file 'main-figure78' (expected one of .pdf:.jpg:.jpeg:.png:). Please verify that you have enabled system calls. For pdflatex, this is 'pdflatex -shell-escape'. Sometimes it is also named 'write 18' or something like that. Or maybe the command simply failed? Error messages can be found in 'main-figure78.log'. If you continue now, I'll try to typeset the picture. | |
| \end{mytikzcd} | |
| ... | |
| Compilation finished at Fri Aug 2 13:24:04 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment