Skip to content

Commit 4787a33

Browse files
jaiarora0011jaiarora0011
committed
Minor edits
1 parent 40d86fe commit 4787a33

4 files changed

Lines changed: 38 additions & 38 deletions

File tree

‎main.fdb_latexmk‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
# Fdb version 3
2-
["pdflatex"] 1614887238 "/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex" "/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.pdf" "main" 1614887238
2+
["pdflatex"] 1615461786 "/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex" "/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.pdf" "main" 1615461786
33
"../module68.tex" 0 -1 0 ""
44
"/etc/texmf/web2c/texmf.cnf" 1614634805 475 c0e671620eb5563b2130f56340a5fde8 ""
5-
"/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.aux" 1614887238 8 a94a2480d3289e625eea47cd1b285758 ""
6-
"/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex" 1614887234 3800 907e92e2ad545075bcfa3dab718b4d0e ""
5+
"/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.aux" 1615461786 8 a94a2480d3289e625eea47cd1b285758 ""
6+
"/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex" 1615461779 3842 3be765e1dfdb4a7e5d8ebe1f10b823d7 ""
77
"/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1480098806 71627 94eb9990bed73c364d7f53f960cc8c5b ""
88
"/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty" 1480098815 1458 43ab4710dc82f3edeabecd0d099626b2 ""
99
"/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty" 1480098815 8237 3b62ef1f7e2c23a328c814b3893bc11f ""
@@ -128,9 +128,9 @@
128128
"/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
129129
"/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1614634909 4126266 6e38e9c0f405795583425c2a348f6b26 ""
130130
"main.aux" 0 -1 0 ""
131-
"main.tex" 1614887234 3800 907e92e2ad545075bcfa3dab718b4d0e ""
131+
"main.tex" 1615461779 3842 3be765e1dfdb4a7e5d8ebe1f10b823d7 ""
132132
(generated)
133-
"main.log"
133+
"main.aux"
134134
"/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.pdf"
135135
"/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.log"
136-
"main.aux"
136+
"main.log"

‎main.log‎

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2021.3.2) 5 MAR 2021 01:17
1+
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2021.3.2) 11 MAR 2021 16:53
22
entering extended mode
33
restricted \write18 enabled.
44
file:line:error style messages enabled.
@@ -460,24 +460,24 @@ Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 28
460460
)
461461
\Hy@SectionHShift=\skip45
462462
)
463-
Package hyperref Info: Option `colorlinks' set `true' on input line 38.
463+
Package hyperref Info: Option `colorlinks' set `true' on input line 39.
464464
(/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.aux)
465465
\openout1 = `main.aux'.
466466

467-
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 53.
468-
LaTeX Font Info: ... okay on input line 53.
469-
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 53.
470-
LaTeX Font Info: ... okay on input line 53.
471-
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 53.
472-
LaTeX Font Info: ... okay on input line 53.
473-
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 53.
474-
LaTeX Font Info: ... okay on input line 53.
475-
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 53.
476-
LaTeX Font Info: ... okay on input line 53.
477-
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 53.
478-
LaTeX Font Info: ... okay on input line 53.
479-
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 53.
480-
LaTeX Font Info: ... okay on input line 53.
467+
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 54.
468+
LaTeX Font Info: ... okay on input line 54.
469+
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 54.
470+
LaTeX Font Info: ... okay on input line 54.
471+
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 54.
472+
LaTeX Font Info: ... okay on input line 54.
473+
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 54.
474+
LaTeX Font Info: ... okay on input line 54.
475+
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 54.
476+
LaTeX Font Info: ... okay on input line 54.
477+
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 54.
478+
LaTeX Font Info: ... okay on input line 54.
479+
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 54.
480+
LaTeX Font Info: ... okay on input line 54.
481481
ABD: EveryShipout initializing macros (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
482482
[Loading MPS to PDF converter (version 2006.09.02).]
483483
\scratchcounter=\count123
@@ -545,17 +545,17 @@ Package caption Info: End \AtBeginDocument code.
545545

546546
Package hyperref Warning: Draft mode on.
547547

548-
Package hyperref Info: Link coloring ON on input line 53.
548+
Package hyperref Info: Link coloring ON on input line 54.
549549
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
550550
Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section
551551
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
552552
Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO)
553553
)
554554
\c@section@level=\count129
555555
)
556-
LaTeX Info: Redefining \ref on input line 53.
557-
LaTeX Info: Redefining \pageref on input line 53.
558-
LaTeX Info: Redefining \nameref on input line 53.
556+
LaTeX Info: Redefining \ref on input line 54.
557+
LaTeX Info: Redefining \pageref on input line 54.
558+
LaTeX Info: Redefining \nameref on input line 54.
559559

560560

561561
! LaTeX Error: File `../module68.tex' not found.
@@ -564,20 +564,20 @@ Type X to quit or <RETURN> to proceed,
564564
or enter new name. (Default extension: tex)
565565

566566
Enter file name:
567-
/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex:67: Emergency stop.
567+
/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex:68: Emergency stop.
568568
<read *>
569569

570-
l.67 \input{../module68}
570+
l.68 \input{../module68}
571571
^^M
572572
*** (cannot \read from terminal in nonstop modes)
573573

574574

575575
Here is how much of TeX's memory you used:
576576
19186 strings out of 492982
577577
379992 string characters out of 6134897
578-
467573 words of memory out of 5000000
578+
467574 words of memory out of 5000000
579579
22450 multiletter control sequences out of 15000+600000
580580
3640 words of font info for 14 fonts, out of 8000000 for 9000
581581
1141 hyphenation exceptions out of 8191
582582
55i,0n,92p,455b,86s stack positions out of 5000i,500n,10000p,200000b,80000s
583-
/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex:67: ==> Fatal error occurred, no output PDF file produced!
583+
/home/jai/Desktop/SixthSem/COL729/compiler-notes/main.tex:68: ==> Fatal error occurred, no output PDF file produced!

‎main.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@
2424
\usepackage[export]{adjustbox}
2525
\usepackage{caption}
2626
\usepackage{amssymb}
27-
\usepackage{minted}
27+
%\usepackage{minted}
2828
\usetikzlibrary{shapes}
2929
\usetikzlibrary {positioning}
3030

‎module83.tex‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@ \section{Liveness DFA example}
44

55
Consider the following example:
66

7-
\begin{framed}
8-
\hspace*{0.2 in} $x := 0$\\
9-
\hspace*{0.2 in} ${\tt while}(x~!=~0)\{$\\
10-
\hspace*{0.4 in} $x := x + 1$ \\
11-
\hspace*{0.2 in} $\}$ \\
12-
\hspace*{0.2 in} ${\tt return}$\\
7+
% \begin{framed}
8+
% \hspace*{0.2 in} $x := 0$\\
9+
% \hspace*{0.2 in} ${\tt while}(x~!=~0)\{$\\
10+
% \hspace*{0.4 in} $x := x + 1$ \\
11+
% \hspace*{0.2 in} $\}$ \\
12+
% \hspace*{0.2 in} ${\tt return}$\\
1313

14-
\end{framed}
14+
% \end{framed}
1515

1616
%Example CFG
1717

0 commit comments

Comments
 (0)