Skip to content
Snippets Groups Projects
Commit 6df8d065 authored by m-iancu's avatar m-iancu
Browse files

more (added externals tikz and macros from svn manually)

parent e1aaa761
No related branches found
No related tags found
No related merge requests found
Showing
with 12901 additions and 2 deletions
omdoc-semantics/macros
omdoc-semantics/tikz
\ No newline at end of file
%%
%% This is file `a0poster.cls'
%%
%% Copyright (C) 1997-2004 Gerlinde Kettl and Matthias Weiser
%%
%% It may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.2
%% of this license or (at your option) any later version.
%% The latest version of this license is in
%% http://www.latex-project.org/lppl.txt
%% and version 1.2 or later is part of all distributions of LaTeX
%% version 1999/12/01 or later.
%%
%% Problems, bugs and comments to
%% tex@kettl.de
%%
\ProvidesClass{a0poster}[2004/01/31 v1.22b a0poster class (GK, MW)]
\NeedsTeXFormat{LaTeX2e}[1995/06/01]
\LoadClass{article}
\newif\ifportrait
\newif\ifanullb
\newif\ifanull
\newif\ifaeins
\newif\ifazwei
\newif\ifadrei
\newif\ifposterdraft
\newcount\xkoord
\newcount\ykoord
\newcount\xscale
\newcount\yscale
\DeclareOption{a0b}{
\anullbtrue
\xkoord=2594 % big points (1 bp=1/72 inch)
\ykoord=3370 % big points (1 bp=1/72 inch)
\xscale=2
\yscale=2
}
\DeclareOption{a0}{
\anulltrue\anullbfalse
\xkoord=2380 % big points (1 bp=1/72 inch)
\ykoord=3368 % big points (1 bp=1/72 inch)
\xscale=2
\yscale=2
}
\DeclareOption{a1}{
\aeinstrue\anullbfalse
\xkoord=1684 % big points (1 bp=1/72 inch)
\ykoord=2380 % big points (1 bp=1/72 inch)
\xscale=3
\yscale=3
}
\DeclareOption{a2}{
\azweitrue\anullbfalse
\xkoord=1190 % big points (1 bp=1/72 inch)
\ykoord=1684 % big points (1 bp=1/72 inch)
\xscale=4
\yscale=4
}
\DeclareOption{a3}{
\adreitrue\anullbfalse
\xkoord=842 % big points (1 bp=1/72 inch)
\ykoord=1190 % big points (1 bp=1/72 inch)
\xscale=6
\yscale=6
}
\DeclareOption{landscape}{
\portraitfalse
}
\DeclareOption{portrait}{
\portraittrue
}
\DeclareOption{draft}{ %% Just for downward compatibility
\posterdrafttrue
}
\DeclareOption{posterdraft}{ %% To avoid collisions with the graphics package
\posterdrafttrue
}
\DeclareOption{final}{
\posterdraftfalse
}
\DeclareOption*{\PackageWarning{a0poster}{Unknown Option \CurrentOption}}
\ExecuteOptions{landscape,a0b,final}
\ProcessOptions\relax
\ifanullb
\setlength{\paperwidth}{119cm}
\setlength{\paperheight}{87cm}
\setlength{\textwidth}{114cm}
\setlength{\textheight}{87cm}
\else\ifanull
\setlength{\paperwidth}{118.82cm}
\setlength{\paperheight}{83.96cm}
\setlength{\textwidth}{114.82cm}
\setlength{\textheight}{79.96cm}
\else\ifaeins
\setlength{\paperwidth}{83.96cm}
\setlength{\paperheight}{59.4cm}
\setlength{\textwidth}{79.96cm}
\setlength{\textheight}{55.4cm}
\else\ifazwei
\setlength{\paperwidth}{59.4cm}
\setlength{\paperheight}{41.98cm}
\setlength{\textwidth}{55.4cm}
\setlength{\textheight}{37.98cm}
\else\ifadrei
\setlength{\paperwidth}{41.98cm}
\setlength{\paperheight}{29.7cm}
\setlength{\textwidth}{37.98cm}
\setlength{\textheight}{25.7cm}
\else\relax
\fi
\fi
\fi
\fi
\fi
\ifportrait
\newdimen\tausch
\setlength{\tausch}{\paperwidth}
\setlength{\paperwidth}{\paperheight}
\setlength{\paperheight}{\tausch}
\setlength{\tausch}{\textwidth}
\setlength{\textwidth}{\textheight}
\setlength{\textheight}{\tausch}
\else\relax
\fi
%% Setting proper dimensions for a DIN A0 printer
\setlength{\headheight}{0 cm}
\setlength{\headsep}{0 cm}
\setlength{\topmargin}{0 cm}
\setlength{\oddsidemargin}{0 cm}
\catcode`\%=11
\newwrite\Ausgabe
\immediate\openout\Ausgabe=a0header.ps
\write\Ausgabe{%%BeginFeature *PageSize ISOA0/ISO A0}
\ifposterdraft\write\Ausgabe{2 dict dup /PageSize [595 842] put dup /ImagingBBox null put}
\else\write\Ausgabe{2 dict dup /PageSize [\number\xkoord\space \number\ykoord] put dup /ImagingBBox null put}\fi
\write\Ausgabe{setpagedevice}
\ifposterdraft\write\Ausgabe{38 84 translate}
\write\Ausgabe{0.\number\xscale\space 0.\number\yscale\space scale}\else\relax\fi
\write\Ausgabe{%%EndFeature}
\closeout\Ausgabe
\catcode`\%=14
\special{header=./a0header.ps}
\input{a0size.sty}
\renewcommand{\tiny}{\fontsize{12}{14}\selectfont}
\renewcommand{\scriptsize}{\fontsize{14.4}{18}\selectfont}
\renewcommand{\footnotesize}{\fontsize{17.28}{22}\selectfont}
\renewcommand{\small}{\fontsize{20.74}{25}\selectfont}
\renewcommand{\normalsize}{\fontsize{24.88}{30}\selectfont}
\renewcommand{\large}{\fontsize{29.86}{37}\selectfont}
\renewcommand{\Large}{\fontsize{35.83}{45}\selectfont}
\renewcommand{\LARGE}{\fontsize{43}{54}\selectfont}
\renewcommand{\huge}{\fontsize{51.6}{64}\selectfont}
\renewcommand{\Huge}{\fontsize{61.92}{77}\selectfont}
\newcommand{\veryHuge}{\fontsize{74.3}{93}\selectfont}
\newcommand{\VeryHuge}{\fontsize{89.16}{112}\selectfont}
\newcommand{\VERYHuge}{\fontsize{107}{134}\selectfont}
\setlength\smallskipamount{6pt plus 2pt minus 2pt}
\setlength\medskipamount{12pt plus 4pt minus 4pt}
\setlength\bigskipamount{24pt plus 8pt minus 8pt}
\setlength\abovecaptionskip{25pt}
\setlength\belowcaptionskip{0pt}
\setlength\abovedisplayskip{25pt plus 6pt minus 15 pt}
\setlength\abovedisplayshortskip{0pt plus 6pt}
\setlength\belowdisplayshortskip{13pt plus 7pt minus 6pt}
\setlength\belowdisplayskip\abovedisplayskip
\normalsize
%%Florian Rabe's extensions; based on macros by Christoph Lange
% tikz with some arrorws, colors, and default style
\usepackage{tikz}
\usepackage{pgflibraryarrows}
\definecolor{light-yellow}{rgb}{1,1,0.8}
\definecolor{dark-blue}{rgb}{0.1,0,0.7}
\tikzstyle{every picture}=[scale=3,line width=3]
\tikzstyle{default}=[very thick,font=\sffamily,>=triangle 60]
% font and other styles
\def\defaulttextfont{\Large}
\setlength{\columnsep}{1.9cm}
\setlength{\columnseprule}{1pt}
% boxes for title, abstract etc.
\newenvironment{authorbox}[1]{\begin{minipage}[c]{#1}\centering\Large\bf}{\end{minipage}}
\newcommand{\logobox}[2]{\begin{minipage}[c]{#1}\centering\includegraphics[width=\textwidth]{#2}\end{minipage}}
\newcommand{\yellowbox}[1]{%
\renewcommand{\rmdefault}{lmr}%
\setlength{\fboxrule}{0.1cm}%
\setlength{\fboxsep}{.5cm}%
{\begin{center}%
\fcolorbox{black}{light-yellow}%
{\parbox{0.99\textwidth}%
{\vspace{0.5cm} \bf \Large #1
\vspace{0.5cm}}}\end{center}}%
\renewcommand{\rmdefault}{ptm}}
\newcommand{\colored}[1]{\textcolor{DarkRed}{#1}}
%macros for titlepage
\newcommand{\poster@title}{}
\renewcommand{\title}[1]{\renewcommand{\poster@title}{#1}}
\newcommand{\poster@author}{}
\renewcommand{\author}[1]{\renewcommand{\poster@author}{#1}}
\newcommand{\poster@institute}{}
\newcommand{\institute}[1]{\renewcommand{\poster@institute}{#1}}
\newcommand{\poster@email}{}
\newcommand{\email}[1]{\renewcommand{\poster@email}{#1}}
\newcommand{\poster@abstract}{}
\renewcommand{\abstract}[1]{\renewcommand{\poster@abstract}{#1}}
\renewcommand{\titlepage}{
\begin{center}
\begin{minipage}[c]{0.15\textwidth}\centering\includegraphics[width=\textwidth]{images/Jacobs_LOGO_RGB}\end{minipage}%
\begin{minipage}[c]{0.7\textwidth}
\begin{center}
{\veryHuge \bf
\begin{tabular}[t]{c}
\poster@title
\end{tabular}}\\
\vspace{1cm}
\begin{authorbox}{0.7\textwidth}
\poster@author \hspace{1cm} \texttt{<\poster@email>}\\
\poster@institute
\end{authorbox}
\end{center}
\end{minipage}%
% SECOND LOGO
\begin{minipage}[c]{0.15\textwidth}\centering\includegraphics[width=.7\textwidth]{images/kwarc}\end{minipage}%
\end{center}
\vspace{0.5cm} \yellowbox{\poster@abstract}
\vspace{0.5cm} \defaulttextfont
}
%(re)define beamer macros so that slides can be copied into poster as is
\renewenvironment{frame}{}{\medskip}
\newcommand{\frametitle}[1]{\begin{center}\bf #1\end{center}\medskip}
%%end extensions
\AtBeginDocument{
\ifanullb
\ifportrait\special{papersize=91.51cm,120cm}\else\special{papersize=120cm,91.51cm}\fi
\else\ifanull
\ifportrait\special{papersize=83.96cm,118.82cm}\else\special{papersize=118.82cm,83.96cm}\fi
\else\ifaeins
\ifportrait\special{papersize=59.4cm,83.96cm}\else\special{papersize=83.96cm,59.4cm}\fi
\else\ifazwei
\ifportrait\special{papersize=41.98cm,59.4cm}\else\special{papersize=59.4cm,41.98cm}\fi
\else\ifadrei
\ifposterdraft
\ifportrait\special{papersize=29.7cm,41.35cm}\else\special{papersize=41.98cm,29.0cm}\fi
\else
\ifportrait\special{papersize=29.7cm,41.98cm}\else\special{papersize=41.98cm,29.7cm}\fi
\fi
\else\relax
\fi
\fi
\fi
\fi
\fi
\pagestyle{empty}
}
\endinput
%%
%% End of file `a0poster.cls'.
%%
%% This is file `a0size.sty' (v1.22b) included in the a0poster package
%%
%% Copyright (C) 1997-2004 Gerlinde Kettl and Matthias Weiser
%%
%% It may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.2
%% of this license or (at your option) any later version.
%% The latest version of this license is in
%% http://www.latex-project.org/lppl.txt
%% and version 1.2 or later is part of all distributions of LaTeX
%% version 1999/12/01 or later.
%%
%% Problems, bugs and comments to
%% tex@kettl.de
%%
\ProvidesFile{a0size.sty}[2004/01/31 v1.22b a0poster class (GK, MW)]
\DeclareFontShape{OT1}{cmr}{m}{n}
{ <5> <6> <7> <8> <9> <10> <12> gen * cmr
<10.95> cmr10
<14.4> cmr12
<17.28><20.74><24.88>cmr17
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmr17}{}
\DeclareFontShape{OT1}{cmr}{m}{sl}
{
<5><6><7>cmsl8%
<8> <9> gen * cmsl
<10><10.95>cmsl10%
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmsl12}{}
\DeclareFontShape{OT1}{cmr}{m}{it}
{
<5><6><7>cmti7%
<8>cmti8%
<9>cmti9%
<10><10.95>cmti10%
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmti12}{}
\DeclareFontShape{OT1}{cmr}{m}{sc}
{
<5><6><7><8><9><10><10.95><12>
<14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmcsc10}{}
\DeclareFontShape{OT1}{cmr}{m}{ui}
{
<5><6><7><8><9><10><10.95><12>
<14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmu10}{}
\DeclareFontShape{OT1}{cmr}{b}{n}
{
<5><6><7><8><9><10><10.95><12>
<14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmb10}{}
\DeclareFontShape{OT1}{cmr}{bx}{n}
{
<5> <6> <7> <8> <9> gen * cmbx
<10><10.95> cmbx10
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmbx12}{}
\DeclareFontShape{OT1}{cmr}{bx}{sl}
{
<5> <6> <7> <8> <9>
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmbxsl10}{}
\DeclareFontShape{OT1}{cmr}{bx}{it}
{
<5> <6> <7> <8> <9>
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmbxti10}{}
\DeclareFontShape{OT1}{cmss}{m}{n}
{
<5><6><7><8>cmss8
<9>cmss9
<10><10.95>cmss10
<12><14.4>cmss12
<17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmss17}{}
\DeclareFontShape{OT1}{cmss}{m}{sl}
{
<5><6><7><8>cmssi8 <9> cmssi9
<10><10.95>cmssi10
<12><14.4>cmssi12
<17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmssi17}{}
\DeclareFontShape{OT1}{cmss}{sbc}{n}
{
<5> <6> <7> <8> <9> cmssdc10
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmssdc10}{}
\DeclareFontShape{OT1}{cmss}{bx}{n}
{
<5> <6> <7> <8> <9> cmssbx10
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmssbx10}{}
\DeclareFontShape{OT1}{cmtt}{m}{n}
{
<5><6><7><8>cmtt8 <9> cmtt9
<10><10.95>cmtt10
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmtt12}{}
\DeclareFontShape{OT1}{cmtt}{m}{it}
{
<5> <6> <7> <8> <9>
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmitt10}{}
\DeclareFontShape{OT1}{cmtt}{m}{sl}
{
<5> <6> <7> <8> <9>
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmsltt10}{}
\DeclareFontShape{OT1}{cmtt}{m}{sc}
{
<5> <6> <7> <8> <9>
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmtcsc10}{}
\DeclareFontShape{OML}{cmm}{m}{it}
{ <5> <6> <7> <8> <9> gen * cmmi
<10><10.95>cmmi10
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmmi12}{}
\DeclareFontShape{OML}{cmm}{b}{it}{%
<5> <6> <7> <8> <9> gen * cmmib
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmmib10}{}
\DeclareFontShape{OMS}{cmsy}{m}{n}{%
<5> <6> <7> <8> <9> <10> gen * cmsy
<10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmsy10}{}
\DeclareFontShape{OMS}{cmsy}{b}{n}{%
<5> <6> <7> <8> <9> gen * cmbsy
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmbsy10}{}
\DeclareFontShape{OMX}{cmex}{m}{n}{%
<-8>sfixed * cmex7
<8> cmex8
<9> cmex9
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmex10}{}
\DeclareFontShape{U}{cmr}{m}{n}
{ <5> <6> <7> <8> <9> <10> <12> gen * cmr
<10.95> cmr10
<14.4> cmr12
<17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmr17}{}
\DeclareFontShape{U}{cmr}{m}{sl}
{
<5><6><7>cmsl8%
<8> <9> gen * cmsl
<10><10.95>cmsl10%
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmsl12}{}
\DeclareFontShape{U}{cmr}{m}{it}
{
<5><6><7>cmti7%
<8>cmti8%
<9>cmti9%
<10><10.95>cmti10%
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmti12}{}
\DeclareFontShape{U}{cmr}{m}{sc}
{
<5><6><7><8><9><10><10.95><12>
<14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmcsc10}{}
\DeclareFontShape{U}{cmr}{m}{ui}
{
<5><6><7><8><9><10><10.95><12>%
<14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmu10}{}
\DeclareFontShape{U}{cmr}{b}{n}
{
<5><6><7><8><9><10><10.95><12>
<14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmb10}{}
\DeclareFontShape{U}{cmr}{bx}{n}
{
<5> <6> <7> <8> <9> gen * cmbx
<10><10.95> cmbx10
<12><14.4><17.28><20.74><24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmbx12}{}
\DeclareFontShape{U}{cmr}{bx}{sl}
{
<5> <6> <7> <8> <9>
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmbxsl10}{}
\DeclareFontShape{U}{cmr}{bx}{it}
{
<5> <6> <7> <8> <9>
<10> <10.95> <12> <14.4> <17.28> <20.74> <24.88>
<29.86> <35.83> <43.00> <51.6> <61.92> <74.3> <89.16> <107.0> cmbxti10}{}
%% Copied from exscale.sty
%% Copyright (C) 1992-1995 Frank Mittelbach and Rainer Sch\"opf,
%% all rights reserved.
\DeclareSymbolFont{largesymbols}{OMX}{cmex}{m}{n}
\newdimen\big@size
\addto@hook\every@math@size{\setbox\z@\vbox{\hbox{$($}\kern\z@}%
\global\big@size 1.2\ht\z@}
\def\bBigg@#1#2{%
{\hbox{$\left#2\vcenter to#1\big@size{}\right.\n@space$}}}
\def\big{\bBigg@\@ne}
\def\Big{\bBigg@{1.5}}
\def\bigg{\bBigg@\tw@}
\def\Bigg{\bBigg@{2.5}}
%% End of copy
\DeclareMathSizes{24.88}{24.88}{20.74}{14.4}
\DeclareMathSizes{29.86}{29.86}{20.74}{14.4}
\DeclareMathSizes{35.83}{35.83}{24.88}{17.28}
\DeclareMathSizes{43.00}{43.00}{35.83}{24.88}
\DeclareMathSizes{51.6}{51.6}{35.83}{24.88}
\DeclareMathSizes{61.92}{61.92}{43}{29.86}
\DeclareMathSizes{74.3}{74.3}{51.6}{35.83}
\DeclareMathSizes{89.16}{89.16}{61.92}{43}
\DeclareMathSizes{107}{107}{74.3}{51.6}
%% End of a0size.sty
\setbeamercolor{block title}{bg=blue!30}
\setbeamercolor{block body}{bg=blue!10}
\setbeamertemplate{blocks}[rounded]
\setbeamercolor{title}{bg=blue!20}
% customize header and footer
%\setbeamertemplate{headline}{}
%\setbeamertemplate{headline}{\begin{beamercolorbox}{title}\scriptsize\insertnavigation{\textwidth}\end{beamercolorbox}}
\setbeamercolor{headline}{bg=blue!10,fg=black}
\setbeamertemplate{headline}{\begin{beamercolorbox}{headline}\small\hfill\insertsection \hfill\insertframenumber\end{beamercolorbox}}
\setbeamertemplate{footline}{}
\setbeamertemplate{navigation symbols}{}
\newenvironment{blockitems}[1]{\begin{block}{#1}\begin{itemize}\small}{\end{itemize}\end{block}}
\newenvironment{blockenum}[1]{\begin{block}{#1}\begin{enumerate}\small}{\end{enumerate}\end{block}}
% line end comment
\newcommand{\lec}[2][blue]{\strut\hfil\strut\null\nobreak\hfill\hbox{{\color{#1}#2}}\par}
\newcommand{\glec}[1]{\strut\hfil\strut\null\nobreak\hfill\hbox{{\color{gray}#1}}\par}
% make slides appear in toc
\let\basics@beamer@frametitle\frametitle
\renewcommand{\frametitle}[1]{\basics@beamer@frametitle{#1}\subsection{#1}}
\newcommand{\highlight}[2]{{\color{#1}#2}}
\newcommand{\hlA}[1]{\highlight{red}{#1}}
\newcommand{\hlB}[1]{\highlight{purple}{#1}}
\definecolor{olive}{rgb}{0,0.4,0}
\newcommand{\hlC}[1]{\highlight{olive}{#1}}
\newcommand{\hlD}[1]{\highlight{gray}{#1}}
\newcommand{\hlE}[1]{\highlight{blue}{#1}}
\renewcommand{\mmt}{MMT}
\ No newline at end of file
\newcommand{\tb}{\hspace*{.5cm}}
\newcommand{\tbiff}{\tb\miff\tb}
\newcommand{\tbimpl}{\tb\impl\tb}
\newcommand{\mpag}[2]{\begin{minipage}{#1}#2\end{minipage}}
\newcommand{\mpage}[1]{\begin{minipage}{\textwidth}#1\end{minipage}}
% shortcut for centered tabular
\newenvironment{ctabular}[1]{\begin{center}\begin{tabular}{#1}}{\end{tabular}\end{center}}
\newenvironment{tabularfigure}[3]
{\def\@mycaption{#2}\def\@mylabel{#3}\begin{figure}[htb]\centering\begin{tabular}{#1}}
{\end{tabular}\caption{\@mycaption}\label{\@mylabel}\end{figure}}
%change figure/table placement
% General parameters, for ALL pages:
%\renewcommand{\topfraction}{0.9} % max fraction of floats at top
%\renewcommand{\bottomfraction}{0.8} % max fraction of floats at bottom
%Parameters for TEXT pages (not float pages):
\setcounter{topnumber}{2}
%\setcounter{bottomnumber}{2}
%\setcounter{totalnumber}{4} % 2 may work better
%\setcounter{dbltopnumber}{2} % for 2-column pages
%\renewcommand{\dbltopfraction}{0.9} % fit big float above 2-col. text
%\renewcommand{\textfraction}{0.07} % allow minimal text w. figs
%Parameters for FLOAT pages (not text pages):
%\renewcommand{\floatpagefraction}{0.7} % N.B.: floatpagefraction MUST be less than topfraction !!
%\renewcommand{\dblfloatpagefraction}{0.7}
% remember to use [htp] or [htpb] for placement
% ifnonempty{a}{b} = if (a == empty) empty else b
\newcommand{\ifnonempty}[3][]{\def\@empty{}\def\@test{#2}\ifx\@test\@empty#1\else#3\fi}
% fold{a}{b1,...,bn} = b1 a ... a bn
\newcommand{\fold}[2]{\let\@tmpop=\relax\@for\@I:=#2\do{\@tmpop\@I\let\@tmpop=#1}}
\renewcommand{\epsilon}{\varepsilon}
\renewcommand{\phi}{\varphi}
\renewcommand{\theta}{\vartheta}
\newcommand{\N}{\mathbb{N}}
\newcommand{\n}{\mathbb{N}^*}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\app}{\approx}
\newcommand{\sq}{\subseteq}
\newcommand{\impl}{\Rightarrow}
\newcommand{\Arr}{\Rightarrow}
\newcommand{\Darr}{\Leftrightarrow}
\newcommand{\arr}{\rightarrow}
\newcommand{\larr}{\leftarrow}
\newcommand{\darr}{\leftrightarrow}
\newcommand{\harr}{\hookrightarrow}
\newcommand{\marr}{\mapsto}
\newcommand{\caret}{\hat{\;}}
\newcommand{\nin}{\not\in}
\newcommand{\sm}{\setminus}
\newcommand{\es}{\varnothing}
\newcommand{\pwr}{\mathcal{P}}
\newcommand{\rewrites}{\rightsquigarrow}
%semantics of genfrac: #1, #2 delimiters; #3 line tickness; #4 scriptsize (0-3); #5, #6 items
\newcommand{\myatop}[3][]{\genfrac{}{}{0pt}{#1}{#2}{#3}} %two items on top of each other, optional argument: 0-3 for normal-small script
\newcommand{\myatopp}[3]{\myatop{\myatop[0]{#1}{#2}}{#3}} %three items on top of each other
\newcommand{\myatoppp}[4]{\myatop{\myatop[0]{\myatop[0]{#1}{#2}}{#3}}{#4}} %four items on top of each other
\newcommand{\ov}[1]{\overline{#1}}
\newcommand{\und}[1]{\underline{#1}}
\newcommand{\cas}[1]{\begin{cases}#1\end{cases}}
\newcommand{\bcas}[1]{\left.\cas{#1}\right\}}
\newcommand{\mifc}{&\mathrm{if}\;}
\newcommand{\mothw}{&\mathrm{otherwise}}
\newcommand{\mathll}[2][l]{\providecommand{\nl}[1][.2cm]{\\[##1]}\begin{array}{#1}#2\end{array}}
\newcommand{\eqns}[2][=]{\providecommand{\nl}[1][.2cm]{\\[##1]}\begin{array}{l@{\;#1\;}l@{\tb}l}#2\end{array}}
\newcommand{\Ceq}[1]{\;\stackrel{#1}{=}\;}
\newcommand{\op}[1]{\mathit{#1}}
\newenvironment{myeqnarray}[1][=] %\nl for new line right of the = symbol
{\newcommand{\nl}{\\\multicolumn{1}{c}{}&}\begin{equation*}\begin{array}{l@{\;#1\;}l@{\tb}l}}
{\end{array}\end{equation*}}
\newcommand{\rul}[3][]{\frac{#2}{#3}#1}
% column vector \vect{a\\b\\c}
\newcommand{\vect}[1]{\left(\begin{array}{c}#1\end{array}\right)}
% code for defining LFS-style flexary commands: \curriedvec{3}{a}{b}{c}
%\newcount\foldindex
%\newcommand{\curriedvec}[1]{\left(\array{c}\global\foldindex#1\curriedvec@next}
%\newcommand{\curriedvec@next}[1]{#1\global\advance\foldindex-1\ifnum\foldindex>1\\\expandafter\curriedvec@next\else\endarray\right)\fi}
%Mathematical Text
\newcommand{\mof}{\;\mathrm{of}\;}
\newcommand{\mif}{\;\mathrm{if}\;}
\newcommand{\mthen}{\;\mathrm{then}\;}
\newcommand{\mfor}{\;\mathrm{for}\;}
\newcommand{\mand}{\;\mathrm{and}\;}
\newcommand{\msome}{\;\mathrm{some}\;}
\newcommand{\mall}{\;\mathrm{all}\;}
\newcommand{\mforall}{\;\mathrm{for}\;\mathrm{all}\;}
\newcommand{\mforsome}{\;\mathrm{for}\;\mathrm{some}\;}
\newcommand{\mnot}{\;\mathrm{not}\;}
\newcommand{\mno}{\;\mathrm{no}\;}
\newcommand{\mor}{\;\mathrm{or}\;}
\newcommand{\minn}{\;\mathrm{in}\;}
\newcommand{\mwith}{\;\mathrm{with}\;}
\newcommand{\mwhere}{\;\mathrm{where}\;}
\newcommand{\mexists}{\;\mathrm{exists}\;}
\newcommand{\miff}{\;\mathrm{iff}\;}
\newcommand{\mimplies}{\;\mathrm{implies}\;}
\newcommand{\msuchthat}{\;\mathrm{such}\;\mathrm{that}\;}
\newcommand{\motherwise}{\;\mathrm{otherwise}\;}
\newcommand{\mtext}[1]{\;\mathrm{#1}\;}
%categories, general
\newcommand{\id}[1]{\op{id}_{#1}}
\newcommand{\}[2]{{#2}\circ {#1}}
\newcommand{\oo}[3]{{#3}\circ {#2}\circ {#1}}
\newcommand{\ooo}[4]{{#4}\circ {#3}\circ {#2}\circ {#1}}
\newcommand{\obj}[1]{|#1|}
\newcommand{\sli}[2]{#1\backslash #2}
\newcommand{\slii}[2]{#1/#2}
\newcommand{\catop}[1]{{{#1}^{op}}}
\newcommand{\catfont}[1]{\mathcal{#1}}
\newcommand{\Set}{\catfont{SET}}
\newcommand{\Cat}{\catfont{CAT}}
\newcommand{\Poset}{\catfont{POSET}}
\newcommand{\Rel}{\catfont{REL}}
\newcommand{\Class}{\catfont{CLASS}}
\newcommand{\Ins}{\catfont{INS}}
\newcommand{\Logics}{\catfont{LOG}}
%for tikz
\newcommand{\arrowtip}{angle 45}
\newcommand{\arrowtipepi}{triangle 45}
\newcommand{\arrowtipmono}{right hook}
\newcommand{\refledge}[2]{(#1) .. controls +(-.5,.75) and +(.5,.75) .. node[above]{#2} (#1)} % reflexive edge
%institutions
\newcommand{\I}{\mathbb{I}}
\newcommand{\insfont}[1]{\mathbf{#1}}
\newcommand{\Sig}[1][]{{\insfont{Sig}^{#1}}}
\newcommand{\Con}[1][]{{\insfont{Con}^{#1}}}
\newcommand{\Sen}[1][]{{\insfont{Sen}^{#1}}}
\newcommand{\Mod}[1][]{{\insfont{Mod}^{#1}}}
\newcommand{\Pf}[1][]{{\insfont{Pf}\,^{#1}}}
\newcommand{\Th}[1][]{{\insfont{Th}^{#1}}}
\newcommand{\Syn}[1][]{{\insfont{Syn}^{#1}}}
\newcommand{\Jud}[1][]{{\insfont{Jud}^{#1}}}
\newcommand{\der}{\vdash}
\newcommand{\dera}[4][]{#2\der^{#1}_{#3}#4}
\newcommand{\moda}[4][]{#2\models^{#1}_{#3}#4}
\newcommand{\nmoda}[4][]{#2\not\models^{#1}_{#3}#4}
% CFGs
\newenvironment{grammar}{\[\begin{array}{l@{\tb\bbc\tb}l@{\tb}l}}{\end{array}\]}
\newcommand{\bnf}[1]{#1}
\newcommand{\bbc}{\bnf{::=}}
\newcommand{\bnfalt}{\ensuremath{\;\bnf{|}\;}}
\providecommand{\alt}{\ensuremath{\;\bnf{|}\;}} % already used by beamer
\newcommand{\opt}[1]{\bnf{[}#1\bnf{]}}
\newcommand{\bnfbracket}[1]{\bnf{(}#1\bnf{)}}
\newcommand{\rep}[1]{#1^{\bnf{\ast}}}
\RequirePackage{xspace}
\newcommand{\mmt}{\texorpdfstring{{\normalfont\scshape{Mmt}}\xspace}{MMT\ }}
\newcommand{\omdoc}{{\scshape{OMDoc}}\xspace}
\newcommand{\mathml}{{\scshape{MathML}}\xspace}
\newcommand{\openmath}{{\scshape{OpenMath}}\xspace}
This diff is collapsed.
This diff is collapsed.
@book{logicism,
author = "G. Frege",
title = "{Die Grundlagen der Arithmetik, Eine logisch-mathematische Untersuchung {\"u}ber den Begriff der Zahl}",
year = 1884,
note = "English title: Foundations of Arithmetic, A Logico-Mathematical Enquiry into the Concept of Number",
}
@book{predicativism,
author = "H. Weyl",
title = "{Das Kontinuum, Kritische Untersuchungen {\"u}ber die Grundlagen der Analysis}",
year = 1918,
note = "English title: The Continuum: A Critical Examination of the Foundation of Analysis",
}
@incollection{predicativism2,
author = "S. Feferman",
year = 2005,
title = "Predicativity",
editor = "S. Shapiro",
booktitle = "{The Oxford Handbook of Philosophy of Mathematics and Logic}",
pages = "590--624",
publisher = "{Oxford University Press}"
}
@InCollection{sep_philosophy,
author = {L. Horsten},
title = "{Philosophy of Mathematics}",
booktitle = "{The Stanford Encyclopedia of Philosophy}",
publisher = "{The Metaphysics Research Lab, Stanford}",
editor = {E. Zalta},
url = {\url{http://plato.stanford.edu/archives/spr2008/entries/philosophy-mathematics/}},
year = {2008}
}
@Book{begriffsschrift,
author = "G. Frege",
title = "{Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens}",
year = 1879,
}
@Article{peirce85,
author = "C. Peirce",
title = "{On the Algebra of Logic: A Contribution to the Philosophy of Notation}",
journal = "{American Journal of Mathematics}",
year = 1885,
volume = 7,
pages = "180--202",
}
@Article{peanoaxioms,
author = {G. Peano},
title = "{The principles of arithmetic, presented by a new method}",
year = {1889},
}
@Book{principia,
author = "A. Whitehead and B. Russell",
title = "{Principia Mathematica}",
year = 1913,
publisher = "{Cambridge University Press}",
}
@Article{typetheoryrussell,
author = "B. Russell",
title = "{Mathematical Logic as Based on the Theory of Types}",
journal = "{American Journal of Mathematics}",
volume = 30,
pages = "222--262",
year = 1908,
}
@Book{principlesrussell,
author = "B. Russell",
title = "{Principles of Mathematics}",
year = 1903,
}
@Article{russellparadox,
author = "B. Russll",
title = "Recent work in the philosophy of mathematics",
journal = "International Monthly",
year = "1901",
}
@Article{grundlagen,
author = {G. Cantor},
title = "{Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen}",
journal = "{Mathematische Annalen}",
year = {1883},
}
@Article{zermelo,
author = {E. Zermelo},
title = "{Untersuchungen ber die Grundlagen der Mengenlehre I}",
journal = "{Mathematische Annalen}",
year = {1908},
volume = 65,
pages = "261--281",
note = "{English title: Investigations in the foundations of set theory I}",
}
@InCollection{wienerpairs,
author = "N. Wiener",
title = "{A Simplification of the Logic of Relations}",
booktitle = "{From Frege to G{\"o}del}",
editor = "J. van Heijenoort",
pages = "224--227",
publisher = "Harvard Univ. Press",
year = "1967",
}
@Article{fraenkel,
author = {A. Fraenkel},
title = "{Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre}",
journal = "Mathematische Annalen",
pages = "230--237",
volume = 86,
year = {1922},
note = "{English title: On the Foundation of Cantor-Zermelo Set Theory}",
}
@Article{vonneumann,
author = "J. von Neumann",
title = "{Eine Axiomatisierung der Mengenlehre}",
journal = "{Journal f{\"u}r die reine und angewandte Mathematik}",
volume = "154",
pages = "219--240",
year = "1925",
}
@article{bernays,
author = "P. Bernays",
title = "{A System of Axiomatic Set Theory -- Part I}",
journal = "Journal of Symbolic Logic",
volume = 2,
number = 1,
pages = "65--77",
year = "1937",
}
@Article{goedelsettheory,
author = "K. G{\"o}del",
title = "{The Consistency of Continuum Hypothesis}",
journal = "{Annals of Mathematics Studies}",
publisher = "{Princeton University Press}",
volume = 3,
pages = "33--101",
year = "1940",
}
@Article{tarskisettheory,
author = "A. Tarski",
title = "{{\"U}ber Unerreichbare Kardinalzahlen}",
journal = "Fundamenta Mathematicae",
volume = 30,
pages = "176--183",
year = 1938,
}
@InCollection{bourbakiunivers,
author = "N. Bourbaki",
title = "{Univers}",
editors = "{M. Artin and A. Grothendieck and J. Verdier}",
booktitle = "{S{\'e}minaire de G{\'e}om{\'e}trie Alg{\'e}brique du Bois Marie - Th{\'e}orie des topos et cohomologie {\'e}tale des sch{\'e}mas}",
year = 1964,
pages = "185--217",
publisher = "Springer",
}
@PhDThesis{brouwer,
author = "L. Brouwer",
title = "Over de grondslagen der wiskunde",
school = "Universiteit van Amsterdam",
country = "Netherlands",
year = "1907",
note = "{English title: On the Foundations of Mathematics}"
}
@Article{brouwersettheory,
author = "L. Brouwer",
title = "{Begr{\"u}ndung der Mengenlehre unabh{\"a}ngig vom logischen Satz vom ausgeschlossenen Dritten. Erster Teil, Allgemeine Mengenlehre.}",
journal = "Koninklijke Akademie van Wetenschappen te Amsterdam",
year = 1918,
number = 5,
pages = "1--43",
}
@Article{brouwersettheory2,
author = "L. Brouwer",
title = "{Begr{\"u}ndung der Mengenlehre unabh{\"a}ngig vom logischen Satz vom ausgeschlossenen Dritten. Zweiter Teil, Theorie der Punktmengen}",
journal = "Koninklijke Akademie van Wetenschappen te Amsterdam",
year = 1919,
number = 7,
pages = "1--33",
}
@Article{lambdacalculus,
author = "A. Church",
title = "{An Unsolvable Problem of Elementary Number Theory}",
journal = "{American Journal of Mathematics}",
volume = "58",
year = "1936",
}
@Article{churchtypes,
author = "A. Church",
title = "{A Formulation of the Simple Theory of Types}",
journal = "{Journal of Symbolic Logic}",
year = "1940",
volume = "5",
number = "1",
pages = "56--68",
}
@InCollection{sytemfgirard,
author = "J. Girard",
title = "{Une extension de l'interpretation de {G{\"o}del} {\`a} l'analyse, et son application {\`a} l'{\'e}limination des coupures dans l'analyse et la th{\'e}orie des types}",
publisher = "North-Holland",
editor = "J. Fenstad",
booktitle = "2nd Scandinavian Logic Symposium",
year = "1971",
pages = "63--92",
}
@InProceedings{systemfreynolds,
author = "J. Reynolds",
title = "{Towards a Theory of Type Structure}",
booktitle = "Paris Colloq. on Programming",
publisher = "Springer",
year = "1974",
pages = "408--425",
}
@InCollection{reynolds_poly,
author = "J. Reynolds",
title = "{Types, Abstraction, and Parametric Polymorphism}",
booktitle = "Information Processing",
publisher = "North-Holland",
address = "Amsterdam",
year = "1983",
pages = "513--523",
}
@Article{lcf,
author = "R. Milner",
title = "Logic for computable functions: descriptions of a machine implementation",
journal = "ACM SIGPLAN Notices",
volume = "7",
pages = "1--6",
year = "1972",
}
@Article{calcconstructions,
author = "T. Coquand and G. Huet",
title = "{The Calculus of Constructions}",
journal = "{Information and Computation}",
volume = "76",
number = "2/3",
year = "1988",
pages = "95--120",
}
@PhdThesis{coquand:cc,
author = "T. Coquand",
title = "Une Th{\'e}orie des Constructions",
school = "Universit{\'e} Paris VII",
year = "1985",
}
@InCollection{martinlof,
author = "P. Martin-{L\"o}f",
booktitle = "{Proceedings of the '73 Logic Colloquium}",
title = "{An Intuitionistic Theory of Types: Predicative Part}",
publisher = "North-Holland",
year = "1974",
pages = "73--118"
}
@Article{henkintypes,
author = "L. Henkin",
title = "{Completeness in the Theory of Types}",
journal = "{Journal of Symbolic Logic}",
volume = "15",
number = "2",
year = "1950",
pages = "81--91",
}
@Article{hilbertsproblems,
author = "D. Hilbert",
title = "{Mathematische Probleme}",
journal = "{Nachrichten von der K{\"o}niglichen Gesellschaft der Wissenschaften zu G{\"o}ttingen}",
pages = "253--297",
year = 1900,
}
@Article{hilbertsprogram,
author = "D. Hilbert",
title = "{{\"U}ber das Unendliche}",
journal = "{Mathematische Annalen}",
volume = 95,
pages = "161--90",
year = 1926,
}
@Article{goedelcompleteness,
author = "K. G{\"o}del",
journal = "{Monatshefte f{\"u}r Mathematik und Physik}",
title = "{Die Vollst{\"a}ndigkeit der Axiome des Logischen Funktionenkalk{\"u}ls}",
volume = "37",
pages = "349--360",
year = "1930",
note = "{English title: The Completeness of the Axioms of the Logical Calculus of Functions}",
}
@Article{goedelincompleteness,
author = "K. G{\"o}del",
journal = "{Monatshefte f{\"u}r Mathematik und Physik}",
title = "{{\"U}ber formal unentscheidbare S{\"a}tze der Principia Mathematica und verwandter Systeme}",
volume = "38",
pages = "173--198",
year = "1931",
note = "{English title: On Formally Undecidable Propositions Of Principia Mathematica And Related Systems}",
}
@Article{gentzen,
author = "G. Gentzen",
title = "{Untersuchungen ber das logische Schlie{\ss}en}",
year = 1934,
journal = "Math. Z.",
volume = 39,
note = "{English title: Investigations into Logical Deduction}",
}
@InCollection{kripke65intuitionistic,
author = "S. Kripke",
title = "{Semantical Analysis of Intuitionistic Logic I}",
booktitle = "{Formal Systems and Recursive Functions}",
editor = "J. Crossley and M. Dummett",
publisher = "North-Holland",
pages = "92--130",
year = "1965",
}
@Article{lukasiewicz,
author = "J. {\L}ukasiewicz",
title = "{O logice trojwartosciowej}",
journal = "Ruch Filozoficny",
volume = "5",
pages = "170--171",
year = 1920,
note = "{English title: On three-valued logic}"
}
@article{banach_tarski_paradox,
author = {S. Banach and A. Tarski},
title = "Sur la d{\'e}composition des ensembles de points en parties respectivement congruentes",
journal = "{Fundamenta Mathematicae}",
volume = 6,
pages = "244-277",
year = 1924
}
@Article{fuzzy,
author = "L. Zadeh",
title = "{Fuzzy sets}",
journal = "Information and Control",
volume = "8",
pages = "338--353",
number = 3,
year = 1965,
}
@InCollection{paraconsistent,
author = "G. Priest",
title = "Paraconsistent Logic",
booktitle = "{Handbook of Philosophical Logic}",
editor = "D. Gabbay",
publisher = "Kluwer",
year = "2002",
}
@Book{sourcebook,
author = "J. van Heijenoort",
year = "1967",
title = "{From Frege To Gdel: A Source Book in Mathematical Logic, 1879-1931}",
publisher = "Harvard Univ. Press",
}
@misc{encyclopediaphilosophy,
author = "E. Zalta",
title = "The Stanford Encyclopedia of Philosophy",
note = "\url{http://plato.stanford.edu/}",
publisher = "{The Metaphysics Research Lab, Stanford University}",
year = 2008
}
This diff is collapsed.
This diff is collapsed.
@misc{makkai_folds,
author = "M. Makkai",
title = "First Order Logic with Dependent Sorts ({FOLDS})",
year = 1997,
note= "Unpublished"
}
@inproceedings{dsl_belo,
author = "J. Belo",
title = "{Dependently Sorted Logic}",
booktitle = "{TYPES 2008}",
publisher = "Springer",
year = "2008",
editor = "M .Miculan and I. Scagnetto and F. Honsell",
pages = "33--50",
}
@incollection{paramodulation,
author = "R. Nieuwenhuis and A. Rubio",
title = "{Paramodulation-Based Theorem Proving}",
booktitle = "Handbook of Automated Reasoning",
pages = "371--443",
year = "2001",
publisher = "Elsevier"
}
@InProceedings{modules_prolog,
title = "{Modules for Prolog Revisited}",
author = "R. Haemmerl{\'e} and F. Fages",
booktitle = "{22nd International Conference on Logic Programming}",
publisher = "Springer",
year = "2006",
editor = "S. Etalle and M. Truszczynski",
pages = "41--55",
}
@misc{slava:proposal,
author = "V. Zholudev",
title = "{Towards Distributed Mathematical Knowledge Management}",
year = 2008,
note = "PhD research proposal, Jacobs University Bremen",
}
@ARTICLE{odlyzko,
author = {A. Odlyzko},
title = "{Tragic loss or good riddance? The impending demise of traditional scholarly journals}",
journal = "{International Journal of Human-Computer Studies}",
year = {1995},
volume = {42},
pages = {71--122}
}
@misc{zblmath,
Key = {ZBMATH},
title = "{Zentralblatt MATH (ZBMATH)}",
note = "\url{http://www.zentralblatt-math.org}",
year = "1931"
}
@misc{arxiv,
key = {ArXiv},
title = "{{\tt{arXiv.org}} e-print archive}",
note = "{\url{http://www.arxiv.org}}",
year = 1994,
}
@Article{solomon:fsg,
author = {R. Solomon},
title = "{On Finite Simple Groups and Their Classification}",
journal = {Notices of the AMS},
year = 1995,
pages = {231--239},
}
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
%\newcommand{\mmtref}[3][black]{\def\mmt@temp{\@linkcolor}\def\@linkcolor{#1}\hyperref{}{mine}{#2}{#3}\def\@linkcolor{\mmt@temp}}
%% \crtarget{id}{text} defines text as the target of \mmtref[...]{id}{...}
\newcommand{\crtarget}[2]{\hyperdef{mine}{#1}{#2}}
%% \crref[color]{id}{text} makes text a reference to id
\newcommand{\crref}[3][black]{\hyperref{}{mine}{#2}{{\color{#1}#3}}}
%% \crdec{name}{text} defines commands \declname and \name with both producing text and the latter linking to the former
%% \declname should be used exactly once
\newcommand{\crdec}[2]{%
\expandafter\gdef\csname #1\endcsname{\crref[blue]{#1}{#2}}%
\expandafter\gdef\csname decl#1\endcsname{\crtarget{#1}{#2}}%
}
\newcommand{\concdec}[2][]{%
\expandafter\gdef\csname #2\endcsname{\crref[black]{#1}{\underline{\ifnonempty[#2]{#1}{#1}}}}%
\expandafter\gdef\csname decl#2\endcsname{\crtarget{#1}{{\textbf{\ifnonempty[#2]{#1}{#1}}}}}%
}
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment