From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 24 Oct 2005 07:40:26 +0000 (+0000)
Subject: Minor fixings.
X-Git-Tag: V_0_7_2_3~206
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=24a1ba93b3894d03eeb212fdd077b0712a8e1947;p=helm.git

Minor fixings.
---

diff --git a/helm/papers/system_T/t.tex b/helm/papers/system_T/t.tex
index 671c933b3..df00823e8 100644
--- a/helm/papers/system_T/t.tex
+++ b/helm/papers/system_T/t.tex
@@ -13,7 +13,7 @@
 \renewcommand{\star}{\ast}
 \newcommand{\one}{\mathbb{1}}
 \renewcommand{\times}{\cdot}
-\title{A gentle approach to program extraction and realizability}
+\title{A gentle approach to\\program extraction and realizability}
 \author{...}