From maeder at tzi.de  Tue Sep 20 14:21:15 2005
From: maeder at tzi.de (Christian Maeder)
Date: Tue Sep 20 14:21:04 2005
Subject: [Hets-devel] ghc-6.4.1 and programatica update
Message-ID: <432FFEBB.4050707@tzi.de>

Dear Hets Developers,

a little change of a lexer flag in programatica necessitated changes in 
HetCATS/Haskell/HatParser.hs and PreludeString.append.hs

Current programatica sources can be found under /home/cofi or at
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/programatica-2005-09-20.tgz

Furthermore, I've switched over to ghc-6.4.1 that should be more 
reliable (i.e. with respect to recompilation)

You need to recompile everything ('make dist-clean' first)!

Also uni needs to be recompiled unless you have a link to 
/home/cofi/uni/linux/uni

Cheers Christian
From maeder at tzi.de  Tue Sep 20 15:28:20 2005
From: maeder at tzi.de (Christian Maeder)
Date: Tue Sep 20 15:28:27 2005
Subject: [Hets-devel] ghc-6.4.1 and programatica update
In-Reply-To: <432FFEBB.4050707@tzi.de>
References: <432FFEBB.4050707@tzi.de>
Message-ID: <43300E74.9070500@tzi.de>

Christian Maeder wrote:
> You need to recompile everything ('make dist-clean' first)!

it's 'make distclean'!

C.
From maeder at tzi.de  Wed Sep 28 11:26:17 2005
From: maeder at tzi.de (Christian Maeder)
Date: Wed Sep 28 20:42:37 2005
Subject: [Hets-devel] HetCATS/doc/Programming-Guidelines.txt
Message-ID: <433A61B9.4050704@tzi.de>

Dear Developers,

a couple of months ago I've put together some programming guidelines for 
our Hets project. Please take these guidelines into account or suggest 
improvements.

Cheers Christian

see:
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/developers_e.htm
From maeder at tzi.de  Thu Sep 29 21:13:12 2005
From: maeder at tzi.de (Christian Maeder)
Date: Fri Sep 30 14:21:45 2005
Subject: [Hets-devel] expanded tabs
In-Reply-To: <433A61B9.4050704@tzi.de>
References: <433A61B9.4050704@tzi.de>
Message-ID: <433C3CC8.3030008@tzi.de>

Hi,

many changes after the next "cvs up" are only due to a change of tabs to 
spaces (via "expand")

Christian

P.S. put something like

  (custom-set-variables '(indent-tabs-mode nil))

in your .emacs file
From luettich at tzi.de  Fri Sep 30 16:54:12 2005
From: luettich at tzi.de (=?ISO-8859-1?Q?Klaus_L=FCttich?=)
Date: Fri Sep 30 16:54:29 2005
Subject: [Hets-devel] expanded tabs
In-Reply-To: <433C3CC8.3030008@tzi.de>
References: <433A61B9.4050704@tzi.de> <433C3CC8.3030008@tzi.de>
Message-ID: <4776D8AB-C0FB-4716-BD91-E811BD1DEC47@tzi.de>

Hi,

why is this needed? Is there anything really wrong with tabs that  
stops or diturbs our workflow? I.e. is there any compiler or other  
tool that has problems with tabs?

Cheers, Klaus

Am 29.09.2005 um 21:13 schrieb Christian Maeder:

> Hi,
>
> many changes after the next "cvs up" are only due to a change of  
> tabs to spaces (via "expand")
>
> Christian
>
> P.S. put something like
>
>  (custom-set-variables '(indent-tabs-mode nil))
>
> in your .emacs file
> _______________________________________________
> Hets-devel mailing list
> Hets-devel@mailhost.informatik.uni-bremen.de
> http://www.informatik.uni-bremen.de/mailman/listinfo/hets-devel
>
>

-- 
Klaus L?ttich                 Room:  MZH 8120
FB3, SFB/TR8               Phone: +49-421-218-7129


From maeder at tzi.de  Fri Sep 30 17:15:15 2005
From: maeder at tzi.de (Christian Maeder)
Date: Fri Sep 30 17:15:28 2005
Subject: [Hets-devel] expanded tabs
In-Reply-To: <4776D8AB-C0FB-4716-BD91-E811BD1DEC47@tzi.de>
References: <433A61B9.4050704@tzi.de> <433C3CC8.3030008@tzi.de>
	<4776D8AB-C0FB-4716-BD91-E811BD1DEC47@tzi.de>
Message-ID: <433D5683.3010903@tzi.de>

Klaus L?ttich wrote:
> why is this needed? Is there anything really wrong with tabs that  stops 
> or diturbs our workflow? I.e. is there any compiler or other  tool that 
> has problems with tabs?

the programming guidelines simply say:

"Expand all your tabs to spaces to avoid the danger of wrongly expanding
them (or a different display of tabs versus eight spaces)."

Christian
From maeder at tzi.de  Fri Sep 30 17:27:22 2005
From: maeder at tzi.de (Christian Maeder)
Date: Fri Sep 30 17:27:33 2005
Subject: [Hets-devel] expanded tabs
In-Reply-To: <4776D8AB-C0FB-4716-BD91-E811BD1DEC47@tzi.de>
References: <433A61B9.4050704@tzi.de> <433C3CC8.3030008@tzi.de>
	<4776D8AB-C0FB-4716-BD91-E811BD1DEC47@tzi.de>
Message-ID: <433D595A.3020702@tzi.de>

Klaus L?ttich wrote:
> why is this needed? Is there anything really wrong with tabs that  stops 
> or diturbs our workflow? I.e. is there any compiler or other  tool that 
> has problems with tabs?

when lines are indented (as displayed by diff, or quoted in an email) 
tabs may spoil the layout.

Christian