ChengsongTanPhdThesis/graphic.sty
author Chengsong
Thu, 23 Jun 2022 16:47:48 +0100
changeset 545 333013923c5a
parent 468 a0f27e21b42c
permissions -rw-r--r--
more changes to blexersimp.thy

\usepackage{tikz}
%\usepackage{pgf}
%\usetikzlibrary{positioning}
%\usetikzlibrary{calc}
%\usetikzlibrary{automata}
%\usetikzlibrary{arrows}
%\usetikzlibrary{backgrounds}
%\usetikzlibrary{fit}
%\usepackage{tikz-qtree}
\usepackage{pgfplots}

%\pgfplotsset{compat=1.15}