- support fof global alpha-conversion with hyperlinks

[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 1a075c37c66b95e51c1e83ff0d552fca5eeb459b..fe150474c72d6e543cae32db4f2514ad801dae2a 100644 (file)
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -1,13 +1,15 @@
-\documentclass{article}
+\documentclass[8pt,twocolumn]{extarticle}
 
+\usepackage[bookmarks=false,ps2pdf]{hyperref}
+\usepackage[american]{babel}
 \usepackage{matex}
 
-\begin{document}
-
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
+\newcounter{node}
+\renewcommand*\ObjIncNode{\stepcounter{node}}
+\renewcommand*\ObjNode{\arabic{node} }
 
-\bigskip
+\begin{document}
 
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
+\input{objs}
 
 \end{document}