Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Informatik 8
TexCommon
Commits
39b43133
Commit
39b43133
authored
Oct 03, 2019
by
Sergey Goncharov
Browse files
-typos
parent
7eeda95a
Pipeline
#30034
passed with stage
in 36 seconds
Changes
2
Pipelines
1
Show whitespace changes
Inline
Side-by-side
Makefile
View file @
39b43133
...
...
@@ -41,7 +41,7 @@ MD5SUM = md5sum
# Mac-specific definitions
ifeq
($(shell uname), Darwin)
<------>
OPEN
=
open
OPEN
=
open
endif
.PHONY
:
default
...
...
catprog.tex
View file @
39b43133
...
...
@@ -4,7 +4,7 @@
% Unless \catname is defined, make it bold.
% So, call \providecommand{\catname}{\mathcal}
% or \reprovidecommand{\catname}{\mathcal}
% before calling this file if you prefer caligraphic names for categories.
% before calling this file if you prefer cal
l
igraphic names for categories.
%
% Same applies to other commands.
%
...
...
@@ -121,7 +121,7 @@
\providecommand
{
\uncurry
}{
\oname
{
uncurry
}}
\providecommand
{
\ev
}{
\oname
{
ev
}}
% Semantic brakets
% Semantic bra
c
kets
\usepackage
{
stmaryrd
}
\providecommand
{
\lsem
}{
\llbracket
}
...
...
@@ -132,9 +132,9 @@
\providecommand
{
\Rsem
}{
\bigr\rrbracket
}
\providecommand
{
\Sem
}
[1]
{
\Lsem
#1
\Rsem
}
% Typographic
s
\providecommand
{
\comma
}{
,
\operatorname
{}
\linebreak
[1]
}
% possibly line-beaking comma
\providecommand
{
\dash
}{
\nobreakdash
-
\hspace
{
0pt
}}
% non-line-beaking hyphen
% Typographic
\providecommand
{
\comma
}{
,
\operatorname
{}
\linebreak
[1]
}
% possibly line-b
r
eaking comma
\providecommand
{
\dash
}{
\nobreakdash
-
\hspace
{
0pt
}}
% non-line-b
r
eaking hyphen
\providecommand
{
\erule
}{
\rule
{
0pt
}{
0pt
}}
% Empty object whose emptiness
% is not recognized by LaTeX
...
...
@@ -156,7 +156,7 @@
}
% conflicts with Beamer
\makeatother
% Conden
c
ed list environments
% Conden
s
ed list environments
\newlist
{
citemize
}{
itemize
}{
1
}
\setlist
[citemize]
{
label=
\labelitemi
,wide
}
%leftmargin=0cm,itemindent=.7cm,labelwidth=\itemindent,labelsep=-.3cm,align=left}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment