Skip to content

Commit 06b420c

Browse files
rzachrzach
committed
add \ollicense, \oluselicense commands to produce licenses, make nice title pages for o-l-debug and o-l-complete, add o-l-about
1 parent 5f2be19 commit 06b420c

4 files changed

Lines changed: 135 additions & 16 deletions

File tree

‎open-logic-about.tex‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
\chapter*{About the Open Logic Project}
2+
3+
The \textit{Open Logic Text} is an open-source, collaborative textbook
4+
of formal meta-logic formal methods, starting at an intermediate level
5+
(i.e., after an introductory formal logic course). It is aimed at a
6+
non-mathematical audience (in particular, students of philosophy and
7+
computer science), but is completely rigorous.
8+
9+
The \textit{Open Logic Text} is a collaborative project, and is under
10+
active development. Coverage of topics currently included is not
11+
complete, and we plan to expand it to cover additional topics in the
12+
future. We also plan to add features to the text, such as a glossary,
13+
further reading, historical notes, pictures, and more problems and
14+
examples. If you find an error or have a suggestion, please let the
15+
project team know.
16+
17+
The project operates in the spirit of open source. Not only is the
18+
texts available for free, we provide it in source LaTeX format under a
19+
Creative Commons Attribution license, which gives anyone the right to
20+
download, use, modify, re-arrange, convert, and re-distribute our
21+
work, as long as they give appropriate credit.
22+
23+
Please see the Open Logic Project website at
24+
\href{http://openlogicproject.org/}{openlogicproject.org} for
25+
additional information.

‎open-logic-complete.tex‎

Lines changed: 30 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,31 +1,53 @@
1-
% open-logic-rel.tex
1+
% open-logic-complete.tex
22
% master file to produce a complete release version
33
% without references, markup, etc.
44

5-
\documentclass{memoir}
5+
\documentclass[openany]{memoir}
66

77
% we're compiling from main directory
88
\newcommand{\olpath}{.}
99

1010
\usepackage{mathpazo}
11-
\usepackage[scaled=0.95]{helvet}
11+
\usepackage{helvet}
1212
\usepackage{courier}
1313
\linespread{1.05} % Palatino looks better with this
1414

1515
\usepackage[footinfo]{gitinfo}
1616

17+
1718
\input{\olpath/sty/open-logic.sty}
1819
\input{\olpath/sty/open-logic-defer.sty}
1920

20-
\title{Open Logic Text}
21-
\author{Open Logic Project}
22-
\date{Revision\gitVtags: \gitAbbrevHash{} (\gitAuthorDate)}
21+
\let\cleardoublepage\clearpage
2322

2423
\begin{document}
2524

26-
\maketitle
25+
\begin{titlingpage}
26+
\begin{raggedleft}
27+
\HUGE
28+
\selectfont\bfseries\sffamily
29+
THE OPEN LOGIC TEXT
30+
\vskip 3ex
31+
\normalfont\huge
32+
Complete Build
33+
\vskip 4ex
34+
\textbf{\href{http://openlogicproject.org/}{Open Logic Project}}
35+
\vskip 4ex
36+
\Large
37+
Revision\gitVtags: \gitAbbrevHash\\
38+
\gitAuthorDate
39+
40+
\end{raggedleft}
41+
42+
\vfill
43+
44+
\ollicense
45+
46+
\end{titlingpage}
47+
48+
\include{open-logic-about}
2749

28-
\tableofcontents
50+
\tableofcontents*
2951

3052
\olimport{open-logic}
3153

‎open-logic-debug.tex‎

Lines changed: 31 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,24 +17,48 @@
1717
\makeatletter \renewcommand{\skip@preamble}{%
1818
\let\document\relax\let\enddocument\relax%
1919
\newenvironment{document}{\noindent
20-
\hrulefill\par{\hfill\color{red}%
20+
\hrulefill\par{\hfill
2121
\href{https://github.com/OpenLogicProject/OpenLogic/blob/master/\olfilebase\olfilename}{\texttt{\olfilebase\olfilename}}}}{}%
2222
\renewcommand{\documentclass}[2][subfiles]{}} \makeatother
2323

2424
\renewcommand*{\beforepartskip}{}
2525
\renewcommand*{\afterpartskip}{}
2626
\renewcommand*{\clearforchapter}{}
2727
\nopartblankpage
28-
29-
\title{Open Logic Text (Debug Version)}
30-
\author{Open Logic Project}
31-
\date{Revision\gitVtags: \gitAbbrevHash{} (\gitAuthorDate)}
28+
\let\cleardoublepage\clearpage
3229

3330
\begin{document}
3431

35-
\maketitle
32+
\begin{titlingpage}
33+
\begin{raggedleft}
34+
\HUGE
35+
\selectfont\bfseries\sffamily
36+
THE OPEN LOGIC TEXT
37+
\vskip 3ex
38+
\normalfont\huge
39+
Debug Build
40+
\vskip 4ex
41+
\textbf{\href{http://openlogicproject.org/}{Open Logic Project}}
42+
\vskip 4ex
43+
\Large
44+
Revision\gitVtags: \gitAbbrevHash\\
45+
\gitAuthorDate
46+
47+
\end{raggedleft}
48+
49+
\vfill
50+
51+
\ollicense
52+
53+
\end{titlingpage}
54+
55+
% make links red, tokens green
56+
\hypersetup{urlcolor=[rgb]{0.5,0,0}}
57+
\def\tokencolor{\color[rgb]{0,.5,0}}
58+
\def\tokenformat#1{{\tokencolor #1}}
59+
3660

37-
\tableofcontents
61+
\tableofcontents*
3862

3963
% include complete text
4064
\olimport{open-logic}

‎sty/open-logic.sty‎

Lines changed: 49 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,13 @@
1313
\RequirePackage{mfirstuc}
1414
\RequirePackage{subfiles}
1515
\RequirePackage{bussproofs}
16-
%\RequirePackage{bpextra}
16+
\RequirePackage{graphicx}
17+
18+
\RequirePackage{xcolor}
19+
\definecolor{dark-gray}{gray}{0.2}
20+
\definecolor{reflex-blue}{RGB}{12, 28, 140}
21+
\RequirePackage[pdftex,breaklinks,bookmarks,bookmarksopen,bookmarksopenlevel=1,colorlinks,urlcolor=dark-gray,linkcolor=reflex-blue]{hyperref}
22+
1723
\RequirePackage{hyperref}
1824
\RequirePackage{amsthm}
1925
\RequirePackage{thmtools}
@@ -106,4 +112,46 @@
106112
\fi \raise\gnArgHgt\hbox{$\ulcorner$} \box\gnBoxA %
107113
\raise\gnArgHgt\hbox{$\urcorner$}}
108114

115+
% License boxes
116+
117+
\newcommand*{\ollicense}{%
118+
\begin{minipage}[b]{1.2cm}
119+
\includegraphics[width=1.2cm]{\olpath/assets/logos/by}
120+
\includegraphics[width=1.2cm]{\olpath/assets/logos/cc}
121+
\end{minipage}
122+
\hspace{.3cm}
123+
\begin{minipage}[b]{3.5cm}
124+
\sffamily
125+
\textit{\href{https://github.com/OpenLogicProject/OpenLogic}{The Open
126+
Logic Text}} by the \href{http://openlogicproject.org/}{Open Logic
127+
Project} is licensed under a
128+
\href{http://creativecommons.org/licenses/by/4.0/}{Creative Commons
129+
Attribution 4.0 International License}.
130+
\end{minipage}
131+
\hfill
132+
\href{http://openlogicproject.org/}{\includegraphics[width=2.4cm]{\olpath/assets/logos/openlogic-logo-bw}}}
133+
134+
135+
\newcommand*{\oluselicense}[2]{%
136+
\begin{minipage}[b]{.9cm}
137+
\includegraphics[width=.9cm]{\olpath/assets/logos/by}
138+
\includegraphics[width=.9cm]{\olpath/assets/logos/cc}
139+
\includegraphics[width=.9cm]{\olpath/assets/logos/remix}
140+
\end{minipage}
141+
\hspace{.3cm}
142+
\begin{minipage}[b]{5cm}
143+
\sffamily\small
144+
\textit{#1} by #2 is licensed under a
145+
\href{http://creativecommons.org/licenses/by/4.0/}{Creative Commons
146+
Attribution 4.0 International License}. It is based on
147+
\textit{\href{https://github.com/OpenLogicProject/OpenLogic}{The Open
148+
Logic Text}} by the \href{http://openlogicproject.org/}{Open Logic
149+
Project}, used under a
150+
\href{http://creativecommons.org/licenses/by/4.0/}{Creative Commons
151+
Attribution 4.0 International License}.
152+
\end{minipage}
153+
\hfill
154+
\href{http://openlogicproject.org/}{\includegraphics[width=2.7cm]{\olpath/assets/logos/openlogic-logo-bw}}}
155+
156+
109157
\makeatother

0 commit comments

Comments
 (0)