pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Removed unused LaTeX definitions and style files.

This commit is contained in:
Achim D. Brucker 2020-09-08 00:01:50 +01:00
parent 3eef2291e5
commit ee251a8000
2 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
examples/scholarly_paper/2020-iFM-CSP/ROOT
View File

@ -4,7 +4,6 @@ session "2020-iFM-csp" = "Isabelle_DOF" +
"paper"
document_files
"isadof.cfg"
"lstisadof.sty"
"root.bib"
"preamble.tex"
"build"

11
examples/scholarly_paper/2020-iFM-CSP/document/preamble.tex
View File

@ -1,20 +1,9 @@
%% This is a placeholder for user-specific configuration and packages.
\usepackage{xcolor}
\usepackage{listings}
\usepackage{lstisadof}
\usepackage{stmaryrd}
\newcommand{\doi}[1]{}
\newcommand{\ie}{i.e.}
\newcommand{\eg}{e.g.}
\usepackage{amsthm}
\newtheorem{example}{Example}
\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}
\title{<TITLE>}
\author{<AUTHOR>}