X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Ftest.tex;h=081696291d217993ab27e8d1ba56cf3361405a56;hb=0bcf2dc1a27e38cb6cd3d44eb838d652926841e0;hp=a85f8c8f6234112dcef1a32dfd9d0be9bd2ef392;hpb=5791ee6b64136ecb0a727e32997b33f4bfab2c31;p=helm.git

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index a85f8c8f6..081696291 100644
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -1,21 +1,26 @@
-\documentclass[8pt,twocolumn]{extarticle}
+\documentclass[8pt,twocolumn,a4paper]{extarticle}
 
-\usepackage[bookmarks=false,ps2pdf]{hyperref}
+\usepackage[margin=2cm]{geometry}
+\usepackage[pdfborder={0 0 0},bookmarks=false,ps2pdf]{hyperref}
 \usepackage[american]{babel}
 \usepackage{matex}
+\usepackage{legacy_1}
+\usepackage{ground_1}
+\usepackage{basic_1}
 
 \newcounter{node}
 \renewcommand*\ObjIncNode{\stepcounter{node}}
-\renewcommand*\ObjNode{\arabic{node} }
+\renewcommand*\ObjNode{\arabic{node}}
 
-\begin{document}
+\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
+Definitions and Statements}
 
-\input{objs}
+\author{Ferruccio Guidi}
 
-\bigskip
+\begin{document}
 
-\ObjRef{pr0}
-\ObjRef{pr0_ind}
-\ObjRef{pr0_confluence}
+\maketitle
+
+\input{objs}
 
 \end{document}