- matex: minor improvements

[helm.git] / matita / components / binaries / matex / test / test.tex

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index 26adf2224ff385a5201954da57a06f817553ddb1..0cf2e639fe774755dec155cb79b8b51bba482a43 100644 (file)
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -1,5 +1,6 @@
-\documentclass[8pt,twocolumn]{extarticle}
+\documentclass[8pt,twocolumn,a4paper]{extarticle}
 
+\usepackage[margin=2cm]{geometry}
 \usepackage[bookmarks=false,ps2pdf]{hyperref}
 \usepackage[american]{babel}
 \usepackage{matex}
@@ -11,7 +12,8 @@
 \renewcommand*\ObjIncNode{\stepcounter{node}}
 \renewcommand*\ObjNode{\arabic{node} }
 
-\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$}
+\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
+Definitions and Statements}
 
 \author{Ferruccio Guidi}