Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Commits
ec5e106d
Commit
ec5e106d
authored
Feb 12, 2016
by
Ralf Jung
Browse files
support using setup.tex from another directory
parent
ba6d9390
Changes
2
Hide whitespace changes
Inline
Side-by-side
docs/pftools.sty
View file @
ec5e106d
\NeedsTeXFormat
{
LaTeX2e
}
[1999/12/01]
\ProvidesPackage
{
pftools
}
\@
ifundefined
{
basedir
}{
%
\RequirePackage
{
locallabel
}
}{
%
\RequirePackage
{
\basedir
locallabel
}
}
%
\RequirePackage
{
Tabbing
}
% Avoid the standard tabbing environment. Its \< conflicts with the semantic package.
\RequirePackage
{
xparse
}
\RequirePackage
{
xcolor
}
\RequirePackage
{
locallabel
}
%% Biimplication inference rules
% \biimp above below
...
...
docs/setup.tex
View file @
ec5e106d
\makeatletter
%
\@
ifundefined
{
basedir
}{
%
\newcommand\basedir
{}
%
}{}
%
\makeatother
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% PACKAGES
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage
{
mathtools
}
%\usepackage{amsmath}
\usepackage
{
amsfonts
}
...
...
@@ -8,14 +15,14 @@
\usepackage
{
amssymb
}
\usepackage
{
stmaryrd
}
\usepackage
{
mathpartir
}
\usepackage
{
\basedir
mathpartir
}
\usepackage
{
array
}
\usepackage
{
tabu
}
\usepackage
{
dashbox
}
\usepackage
{
pftools
}
\usepackage
{
\basedir
pftools
}
\usepackage
{
xcolor
}
% for print version
...
...
@@ -459,8 +466,3 @@
\newcommand
{
\AuthInv
}{
\textsf
{
AuthInv
}}
\newcommand
{
\Auth
}{
\textsf
{
Auth
}}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "iris"
%%% End:
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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