diff --git a/manual/heptagon-manual.pdf b/manual/heptagon-manual.pdf index eba794d..faa56c7 100644 Binary files a/manual/heptagon-manual.pdf and b/manual/heptagon-manual.pdf differ diff --git a/manual/heptagon-manual.tex b/manual/heptagon-manual.tex index f585df4..292c9c9 100644 --- a/manual/heptagon-manual.tex +++ b/manual/heptagon-manual.tex @@ -1,6 +1,6 @@ \documentclass[a4paper]{article} -\usepackage[T1]{fontenc} +%\usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage[a4paper]{geometry} %\usepackage[francais]{babel} @@ -62,7 +62,7 @@ For example, the Heptagon program below is composed of one node \texttt{plus}, performing the pointwise sum of its two integer inputs: \begin{lstlisting} -node plus(x:int,y:int) returns (z:int) +node plus(x:int;y:int) returns (z:int) let z = x + y; tel diff --git a/manual/macros.sty b/manual/macros.sty index 53d12ff..5aaeff9 100644 --- a/manual/macros.sty +++ b/manual/macros.sty @@ -1,6 +1,6 @@ \ProvidesPackage{macros} -\RequirePackage[T1]{fontenc} +%\RequirePackage[T1]{fontenc} \RequirePackage{xspace} \RequirePackage{amsmath} \RequirePackage{amssymb}