From c55c7d0677197ce2551302e132a3b8dc193e9f09 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 23 May 2003 09:56:15 +0000
Subject: [PATCH] Added all (???) the sections and their labels.

---
 helm/papers/calculemus-2003/hbugs-calculemus-2003.tex | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
index 8c7252350..1cd791f83 100644
--- a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
+++ b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
@@ -160,6 +160,17 @@ following the guidelines of the \wss{}/brokers approach, is
   domain.
 }
 
+\section{???}
+\label{architecture}
+
+\section{???}
+\label{implementation}
+
+\section{???}
+\label{tutors}
+
+\section{???}
+\label{conclusions}
 
 % \section{Introduction}
 % Since the development of the first proof-assistants based on the
-- 
2.39.2