From 0353e77a2693c9d318317361e40e9953792d7375 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Tue, 23 Aug 2022 17:25:52 +0300 Subject: [PATCH] Add latex magic commands to many files Signed-off-by: Kakadu --- spec/.gitignore | 4 ++++ spec/01.introduction.tex | 3 +++ spec/03.01.lexical_structure.tex | 4 ++++ spec/03.02.compilation_units.tex | 3 +++ spec/03.03.scope_expressions.tex | 3 +++ spec/03.04.expressions.tex | 3 +++ spec/04.extensions.tex | 3 +++ spec/05.driver_options.tex | 3 +++ spec/06.limitations.tex | 3 +++ spec/07.debugging.tex | 3 +++ spec/08.standard_library.tex | 3 +++ spec/lama-spec.tex | 3 +++ 12 files changed, 38 insertions(+) diff --git a/spec/.gitignore b/spec/.gitignore index c78b14e25..99dcfd7ea 100644 --- a/spec/.gitignore +++ b/spec/.gitignore @@ -1 +1,5 @@ commitdate.tex +*.log +*.out +*.synctex.gz +*.toc \ No newline at end of file diff --git a/spec/01.introduction.tex b/spec/01.introduction.tex index 2022b01c6..962a76991 100644 --- a/spec/01.introduction.tex +++ b/spec/01.introduction.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Introduction} \lama is a programming language developed by JetBrains Research for educational purposes as an exemplary language to introduce diff --git a/spec/03.01.lexical_structure.tex b/spec/03.01.lexical_structure.tex index abdd3f5aa..435689a0c 100644 --- a/spec/03.01.lexical_structure.tex +++ b/spec/03.01.lexical_structure.tex @@ -1,3 +1,7 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex + \section{Lexical Structure} \label{sec:lexical_structure} diff --git a/spec/03.02.compilation_units.tex b/spec/03.02.compilation_units.tex index 8433dc5e2..beb4c998d 100644 --- a/spec/03.02.compilation_units.tex +++ b/spec/03.02.compilation_units.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \FloatBarrier \begin{figure}[t] diff --git a/spec/03.03.scope_expressions.tex b/spec/03.03.scope_expressions.tex index 09259be1f..631e7a792 100644 --- a/spec/03.03.scope_expressions.tex +++ b/spec/03.03.scope_expressions.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \begin{figure}[t] \[ \begin{array}{rclc} diff --git a/spec/03.04.expressions.tex b/spec/03.04.expressions.tex index 41df75965..db9c875e6 100644 --- a/spec/03.04.expressions.tex +++ b/spec/03.04.expressions.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \section{Expressions} \label{sec:expressions} diff --git a/spec/04.extensions.tex b/spec/04.extensions.tex index cbd0937d9..a0ea35174 100644 --- a/spec/04.extensions.tex +++ b/spec/04.extensions.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Extensions} \label{sec:extensions} diff --git a/spec/05.driver_options.tex b/spec/05.driver_options.tex index e19958d4e..3f484df8c 100644 --- a/spec/05.driver_options.tex +++ b/spec/05.driver_options.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Driver Options and Separate Compilation} \label{sec:driver} diff --git a/spec/06.limitations.tex b/spec/06.limitations.tex index ae351de48..28dff93a9 100644 --- a/spec/06.limitations.tex +++ b/spec/06.limitations.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Implementation-dependent Limitations} \label{sec:limitations} diff --git a/spec/07.debugging.tex b/spec/07.debugging.tex index 7037aea7b..f6c28c386 100644 --- a/spec/07.debugging.tex +++ b/spec/07.debugging.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Debugging Support} \label{sec:debugging} diff --git a/spec/08.standard_library.tex b/spec/08.standard_library.tex index 30bed42e4..5ca12f9f5 100644 --- a/spec/08.standard_library.tex +++ b/spec/08.standard_library.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \chapter{Standard Library} \label{sec:stdlib} diff --git a/spec/lama-spec.tex b/spec/lama-spec.tex index 71b33dbf9..6bef1986f 100644 --- a/spec/lama-spec.tex +++ b/spec/lama-spec.tex @@ -1,3 +1,6 @@ +% !TEX TS-program = pdflatex +% !TeX spellcheck = en_US +% !TEX root = lama-spec.tex \documentclass{book} \newcommand\hmmax{0}