[svn.haxx.se] · SVN Dev · SVN Users · SVN Org · TSVN Dev · TSVN Users · Subclipse Dev · Subclipse Users · this month's index

Re: Subversion-Specification in Z

From: Karl Fogel <kfogel_at_galois.collab.net>
Date: 2000-07-28 19:05:54 CEST

I think no one has done this.

Thomas Marchwinski <marchwin@uni-freiburg.de> writes:
> This is a multi-part message in MIME format.
> --------------A34BC937653FAABD1499A10E
> Content-Type: text/plain; charset=us-ascii
> Content-Transfer-Encoding: 7bit
>
> Hello,
> my name is Thomas Marchwinski and I am a German student of Computer
> Science at the Albert-Ludwigs-University in Freiburg. I have one
> question:
> I want to make a formal specification of subversion in the formal
> language Z.
> Now I want to know, if there is something like this already.
> If you have heard something about a similar project, then tell me,
> please. If there isn't such a project, then tell me also.
> Thanks,
> Thomas Marchwinski
>
> --------------A34BC937653FAABD1499A10E
> Content-Type: text/x-vcard; charset=us-ascii;
> name="marchwin.vcf"
> Content-Transfer-Encoding: 7bit
> Content-Description: Card for Thomas Marchwinski
> Content-Disposition: attachment;
> filename="marchwin.vcf"
>
> begin:vcard
> n:Marchwinski;Thomas
> x-mozilla-html:FALSE
> org:Alber-Ludwigs-Universitaet, Freiburg, Germany
> adr:;;;;;;
> version:2.1
> email;internet:marchwin@informatik.uni-freiburg.de
> title:Student
> fn:Thomas Marchwinski
> end:vcard
>
> --------------A34BC937653FAABD1499A10E--
Received on Sat Oct 21 14:36:06 2006

This is an archived mail posted to the Subversion Dev mailing list.