X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2Ftest.tex;h=26adf2224ff385a5201954da57a06f817553ddb1;hb=348f1670b30f52db99187b2e92b45348e18ebbbe;hp=ddf18c40838abf537e74e295a431c646be81d9dc;hpb=21679cd1397d9c51519dbe439c29c1683b91ec64;p=helm.git

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index ddf18c408..26adf2224 100644
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -1,13 +1,24 @@
-\documentclass{article}
+\documentclass[8pt,twocolumn]{extarticle}
 
+\usepackage[bookmarks=false,ps2pdf]{hyperref}
+\usepackage[american]{babel}
 \usepackage{matex}
+\usepackage{legacy_1}
+\usepackage{ground_1}
+\usepackage{basic_1}
 
-\begin{document}
+\newcounter{node}
+\renewcommand*\ObjIncNode{\stepcounter{node}}
+\renewcommand*\ObjNode{\arabic{node} }
+
+\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$}
 
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
+\author{Ferruccio Guidi}
+
+\begin{document}
 
-% \bigskip
+\maketitle
 
-% \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
+\input{objs}
 
 \end{document}