Merge pull request #9 from JetBrains-Research/dev

kajigor · web-flow · commit 2f601d540339 · 2021-07-20T09:37:11.000+03:00
Исправления для #2 и #3 (проблемы с заголовками)
diff --git a/tex/FLPQ.tex b/tex/FLPQ.tex
@@ -1,4 +1,4 @@
-\chapter{Задача о поиске путей с ограничениями в терминах формальных языков}\label{chpt:FLPQ}
+\chapter[Пути с ограничениями в терминах формальных языков]{Задача о поиске путей с ограничениями в терминах формальных языков}\label{chpt:FLPQ}
 
 
 
diff --git a/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex b/tex/FormalLanguageConstrainedReachabilityLectureNotes.tex
@@ -145,7 +145,7 @@
     \endgroup
   }
 
-\title{Приложения теории формальных языков и синтаксического анализа}
+\title{О достижимости с ограничениями в терминах формальных языков}
 \author{Семён Григорьев}
 \date{\today}
 
diff --git a/tex/Introduction.tex b/tex/Introduction.tex
@@ -1,4 +1,4 @@
-\chapter*{Введение}
+\chapter*{Введение\markboth{Введение}{}}
 
 Теория формальных языков находит применение не только для ставших уже классическими задач синтаксического анализа кода (языков программирования, искусственных языков) и естественных языков, но и в других областях, таких как статический анализ кода, графовые базы данных, биоинформатика, машинное обучение.
 
diff --git a/tex/List_of_contributors.tex b/tex/List_of_contributors.tex
@@ -1,4 +1,4 @@
-\chapter*{Список авторов}
+\chapter*{Список авторов\markboth{Введение}{Список авторов}}
 %\begin{multicols}{2}
     \begin{itemize}
         \item \textbf{Семён Григорьев} \\

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-\chapter{Задача о поиске путей с ограничениями в терминах формальных языков}\label{chpt:FLPQ}`
	`1`	`+\chapter[Пути с ограничениями в терминах формальных языков]{Задача о поиске путей с ограничениями в терминах формальных языков}\label{chpt:FLPQ}`
`2`	`2`
`3`	`3`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -145,7 +145,7 @@`
`145`	`145`	`\endgroup`
`146`	`146`	`}`
`147`	`147`
`148`		`-\title{Приложения теории формальных языков и синтаксического анализа}`
	`148`	`+\title{О достижимости с ограничениями в терминах формальных языков}`
`149`	`149`	`\author{Семён Григорьев}`
`150`	`150`	`\date{\today}`
`151`	`151`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-\chapter*{Введение}`
	`1`	`+\chapter*{Введение\markboth{Введение}{}}`
`2`	`2`
`3`	`3`	Теория формальных языков находит применение не только для ставших уже классическими задач синтаксического анализа кода (языков программирования, искусственных языков) и естественных языков, но и в других областях, таких как статический анализ кода, графовые базы данных, биоинформатика, машинное обучение.
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-\chapter*{Список авторов}`
	`1`	`+\chapter*{Список авторов\markboth{Введение}{Список авторов}}`
`2`	`2`	`%\begin{multicols}{2}`
`3`	`3`	`\begin{itemize}`
`4`	`4`	`\item \textbf{Семён Григорьев} \\`